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: Pellegrino:Giancarlo
Contributed to:
2013
2012
2012Wrote 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.