BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Estonia
1 × Turkey
Collaborated with:
L.Compagna T.Morreggia A.Armando R.Carbone A.Merlo D.Balzarotti W.Arsac T.Avanesov M.Barletta A.Calvi A.Cappai Y.Chevalier J.Cuéllar G.Erzse S.Frau M.Minea S.Mödersheim D.v.Oheimb S.E.Ponta M.Rocchetto M.Rusinowitch M.T.Dashti M.Turuani L.Viganò
Talks about:
secur (4) protocol (2) autom (2) architectur (1) avantssar (1) platform (1) support (1) develop (1) servic (1) orient (1)

Person: Giancarlo Pellegrino

DBLP DBLP: Pellegrino:Giancarlo

Contributed to:

ICTSS 20132013
TACAS 20122012
TAP 20122012

Wrote 3 papers:

ICTSS-2013-PellegrinoCM #developer #protocol #security
A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols (GP, LC, TM), pp. 277–282.
TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #framework #platform #security #trust #validation
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.
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.

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.