Travelled to:1 × Australia
1 × Denmark
1 × Sweden
2 × Spain
2 × USA
3 × United Kingdom
4 × Italy
Collaborated with:A.Bossi C.Piazza R.Focardi S.Etalle B.L.Charlier N.Cocco A.Sabelfeld E.Pivato A.Cortesi P.V.Hentenryck J.Smaus
Talks about:secur (8) program (6) logic (5) semant (3) inform (3) flow (3) base (3) process (2) languag (2) bisimul (2)
Person: Sabina Rossi
DBLP: Rossi:Sabina
Contributed to:
2007
200520042004
2004
2003
200320022002
2001
2001
200019981996
1994Wrote 15 papers:
- LOPSTR-2007-BossiPR #algebra #process #refinement #security
- Action Refinement in Process Algebra and Security Issues (AB, CP, SR), pp. 201–217.
- FoSSaCS-2005-FocardiRS #calculus #process #security
- Bridging Language-Based and Process Calculi Security (RF, SR, AS), pp. 299–315.
- LOPSTR-2004-BossiPR #imperative #security
- Unwinding Conditions for Security in Imperative Languages (AB, CP, SR), pp. 85–100.
- PDCL-2004-BossiCER #declarative #logic programming #semantics #source code
- Declarative Semantics of Input Consuming Logic Programs (AB, NC, SE, SR), pp. 90–114.
- TACAS-2004-PiazzaPR #named #persistent #security
- CoPS — Checker of Persistent Security (CP, EP, SR), pp. 144–152.
- SEFM-2003-BossiFPR #data flow #refinement #security
- Refinement Operators and Information Flow Security (AB, RF, CP, SR), pp. 44–53.
- VMCAI-2003-BossiFPR #bisimulation #security #verification
- Bisimulation and Unwinding for Verifying Possibilistic Security Properties (AB, RF, CP, SR), pp. 223–237.
- LOPSTR-2002-BossiFPR #data flow #proving #security
- A Proof System for Information Flow Security (AB, RF, CP, SR), pp. 199–218.
- VMCAI-2002-FocardiPR #bisimulation #data flow #proving #security
- Proofs Methods for Bisimulation Based Information Flow Security (RF, CP, SR), pp. 16–31.
- ESOP-2001-BossiERS #logic programming #scheduling #semantics #source code #termination
- Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling (AB, SE, SR, JGS), pp. 402–416.
- PPDP-2001-BossiCR #logic programming #source code #termination
- Termination of Well-Typed Logic Programs (AB, NC, SR), pp. 73–81.
- CL-2000-BossiER #logic programming #semantics #source code
- Semantics of Input-Consuming Logic Programs (AB, SE, SR), pp. 194–208.
- LOPSTR-1998-BossiR #logic programming #source code #specification
- Specialising Logic Programs with Respect to Call?Post Specifications (AB, SR), pp. 159–178.
- LOPSTR-1996-CortesiCR #automation #prolog #source code #verification
- Specification-Based Automatic Verification of Prolog Programs (AC, BLC, SR), pp. 38–57.
- ILPS-1994-CharlierRH #abstract interpretation #framework #prolog
- An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut (BLC, SR, PVH), pp. 157–171.