Travelled to:1 × Estonia
1 × Sweden
1 × Switzerland
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:M.Bugliesi L.Padovani F.Ranzato D.Varacca N.Yoshida S.Calzavara E.Steffinlongo A.Prelic V.Sassone D.Cunningham V.A.Saraswat A.Shinnar O.Tardieu
Talks about:semant (2) probabilist (1) interpret (1) algorithm (1) structur (1) privileg (1) parallel (1) calculus (1) approach (1) abstract (1)
Person: Silvia Crafa
DBLP: Crafa:Silvia
Contributed to:
2015
2015
2014
2012
20112003Wrote 6 papers:
- ESOP-2015-CalzavaraBCS #detection #fine-grained
- Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions (SC, MB, SC, ES), pp. 510–534.
- OOPSLA-2015-CrafaP #approach #programming
- The chemical approach to typestate-oriented programming (SC, LP), pp. 917–934.
- ECOOP-2014-CrafaCSST #semantics
- Semantics of (Resilient) X10 (SC, DC, VAS, AS, OT), pp. 670–696.
- FoSSaCS-2012-CrafaVY #parallel #semantics #π-calculus
- Event Structure Semantics of Parallel Extrusion in the π-Calculus (SC, DV, NY), pp. 225–239.
- ICALP-v2-2011-CrafaR #abstract interpretation #algorithm #bisimulation #probability #simulation
- Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (SC, FR), pp. 295–306.
- ICALP-2003-BugliesiCPS #network
- Secrecy in Untrusted Networks (MB, SC, AP, VS), pp. 969–983.