Travelled to:1 × Czech Republic
1 × Portugal
1 × United Kingdom
Collaborated with:A.Armando G.Costa G.Pellegrino R.Carbone D.Balzarotti G.Bocci G.Chiarelli G.D.Maglie R.Mammoliti
Talks about:secur (3) protocol (1) platform (1) analysi (1) static (1) verif (1) modul (1) model (1) mobil (1) maver (1)
Person: Alessio Merlo
DBLP: Merlo:Alessio
Contributed to:
2015
2013
2012Wrote 3 papers:
- TACAS-2015-ArmandoBCCMMM #framework #mobile #named #platform #security #static analysis #verification
- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform (AA, GB, GC, GC, GDM, RM, AM), pp. 225–230.
- SAC-2013-ArmandoCM
- Bring your own device, securely (AA, GC, AM), pp. 1852–1858.
- TAP-2012-ArmandoPCMB #automation #model checking #protocol #security #testing
- From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap (AA, GP, RC, AM, DB), pp. 3–18.