Travelled to:1 × Italy
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:I.Matteucci A.Armando A.Merlo V.Issarny F.Martinelli R.Saadi G.Bocci G.Chiarelli G.D.Maglie R.Mammoliti
Talks about:secur (3) platform (1) analysi (1) tempor (1) static (1) verif (1) trust (1) modul (1) mobil (1) maver (1)
Person: Gabriele Costa
DBLP: Costa:Gabriele
Contributed to:
2015
2013
2011
2011Wrote 4 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.
- QoSA-ISARCS-2011-CostaM #logic
- Elective temporal logic (GC, IM), pp. 143–152.
- SFM-2011-CostaIMMS #security #trust
- Security and Trust (GC, VI, FM, IM, RS), pp. 393–416.