BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Costa:Gabriele

Contributed to:

TACAS 20152015
SAC 20132013
QoSA/ISARCS 20112011
SFM 20112011

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.