Travelled to:1 × Austria
1 × Czech Republic
1 × Estonia
1 × France
Collaborated with:L.Compagna A.Armando S.E.Ponta A.Panichella G.Pellegrino 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 M.Rocchetto M.Rusinowitch M.T.Dashti M.Turuani L.Viganò
Talks about:secur (4) model (2) autom (2) test (2) architectur (1) avantssar (1) protocol (1) platform (1) identif (1) checker (1)
Person: Roberto Carbone
DBLP: Carbone:Roberto
Contributed to:
2015
20142012
2012Wrote 4 papers:
- ICST-2015-CarboneCPP #identification #security #testing
- Security Threat Identification and Testing (RC, LC, AP, SEP), pp. 1–8.
- TACAS-2014-ArmandoCC #model checking #named #satisfiability
- SATMC: A SAT-Based Model Checker for Security-Critical Systems (AA, RC, LC), pp. 31–45.
- 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.