| 2008 |
|---|
| 51 | EE | Silvia Crafa,
Matteo Mio,
Marino Miculan,
Carla Piazza,
Sabina Rossi:
PicNIc - Pi-calculus non-interference checker.
ACSD 2008: 33-38 |
| 2007 |
|---|
| 50 | EE | Michele Bugliesi,
Damiano Macedonio,
Sabina Rossi:
Static vs Dynamic Typing for Access Control in Pi-Calculus.
ASIAN 2007: 282-296 |
| 49 | EE | Annalisa Bossi,
Carla Piazza,
Sabina Rossi:
Action Refinement in Process Algebra and Security Issues.
LOPSTR 2007: 201-217 |
| 48 | EE | Silvia Crafa,
Sabina Rossi:
Controlling information release in the pi-calculus.
Inf. Comput. 205(8): 1235-1273 (2007) |
| 47 | EE | Annalisa Bossi,
Carla Piazza,
Sabina Rossi:
Compositional information flow security for concurrent programs.
Journal of Computer Security 15(3): 373-416 (2007) |
| 2006 |
|---|
| 46 | EE | Silvia Crafa,
Sabina Rossi:
P-congruences as non-interference for the pi-calculus.
FMSE 2006: 13-22 |
| 45 | EE | Riccardo Focardi,
Sabina Rossi:
Information flow security in dynamic contexts.
Journal of Computer Security 14(1): 65-110 (2006) |
| 2005 |
|---|
| 44 | EE | Riccardo Focardi,
Sabina Rossi,
Andrei Sabelfeld:
Bridging Language-Based and Process Calculi Security.
FoSSaCS 2005: 299-315 |
| 43 | EE | Silvia Crafa,
Sabina Rossi:
A Theory of Noninterference for the pi-Calculus.
TGC 2005: 2-18 |
| 42 | | Michele Bugliesi,
Sabina Rossi:
Non-interference proof techniques for the analysis of cryptographic protocols.
Journal of Computer Security 13(1): 87-113 (2005) |
| 41 | EE | Annalisa Bossi,
Damiano Macedonio,
Carla Piazza,
Sabina Rossi:
Information flow in secure contexts.
Journal of Computer Security 13(3): 391-422 (2005) |
| 2004 |
|---|
| 40 | EE | Annalisa Bossi,
Carla Piazza,
Sabina Rossi:
Modelling Downgrading in Information Flow Security.
CSFW 2004: 187- |
| 39 | EE | Annalisa Bossi,
Carla Piazza,
Sabina Rossi:
Unwinding Conditions for Security in Imperative Languages.
LOPSTR 2004: 85-100 |
| 38 | EE | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle,
Sabina Rossi:
Declarative Semantics of Input Consuming Logic Programs.
Program Development in Computational Logic 2004: 90-114 |
| 37 | EE | Carla Piazza,
Enrico Pivato,
Sabina Rossi:
CoPS - Checker of Persistent Security.
TACAS 2004: 144-152 |
| 36 | EE | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi,
Jan-Georg Smaus:
Termination of simply moded logic programs with dynamic scheduling.
ACM Trans. Comput. Log. 5(3): 470-507 (2004) |
| 35 | EE | Annalisa Bossi,
Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
Verifying persistent security properties.
Computer Languages, Systems & Structures 30(3-4): 231-258 (2004) |
| 34 | EE | Annalisa Bossi,
Riccardo Focardi,
Damiano Macedonio,
Carla Piazza,
Sabina Rossi:
Unwinding in Information Flow Security.
Electr. Notes Theor. Comput. Sci. 99: 127-154 (2004) |
| 2003 |
|---|
| 33 | EE | Annalisa Bossi,
Damiano Macedonio,
Carla Piazza,
Sabina Rossi:
Secure Contexts for Confidential Data.
CSFW 2003: 14-28 |
| 32 | EE | Michele Bugliesi,
Ambra Ceccato,
Sabina Rossi:
Context-Sensitive Equivalences for Non-interference Based Protocol Analysis.
FCT 2003: 364-375 |
| 31 | EE | Annalisa Bossi,
Damiano Macedonio,
Carla Piazza,
Sabina Rossi:
Information Flow Security and Recursive Systems.
ICTCS 2003: 369-382 |
| 30 | EE | Annalisa Bossi,
Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
Refinement Operators and Information Flow Security.
SEFM 2003: 44-53 |
| 29 | EE | Annalisa Bossi,
Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
Bisimulation and Unwinding for Verifying Possibilistic Security Properties.
VMCAI 2003: 223-237 |
| 2002 |
|---|
| 28 | EE | Annalisa Bossi,
Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
Transforming Processes to Check and Ensure Information Flow Security.
AMAST 2002: 271-286 |
| 27 | EE | Riccardo Focardi,
Sabina Rossi:
Information Flow Security in Dynamic Contexts.
CSFW 2002: 307-319 |
| 26 | EE | Annalisa Bossi,
Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
A Proof System for Information Flow Security.
LOPSTR 2002: 199-218 |
| 25 | EE | Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
Proofs Methods for Bisimulation Based Information Flow Security.
VMCAI 2002: 16-31 |
| 24 | | Baudouin Le Charlier,
Sabina Rossi,
Pascal Van Hentenryck:
Sequence-based abstract interpretation of Prolog.
TPLP 2(1): 25-84 (2002) |
| 23 | | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi:
Properties of input-consuming derivations.
TPLP 2(2): 125-154 (2002) |
| 22 | | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle,
Sabina Rossi:
On modular termination proofs of general logic programs.
TPLP 2(3): 263-291 (2002) |
| 2001 |
|---|
| 21 | EE | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi,
Jan-Georg Smaus:
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.
ESOP 2001: 402-416 |
| 20 | EE | Agostino Cortesi,
Baudouin Le Charlier,
Sabina Rossi:
Reexecution-Based Analysis of Logic Programs with Delay Declarations.
Ershov Memorial Conference 2001: 395-405 |
| 19 | | Annalisa Bossi,
Nicoletta Cocco,
Sabina Rossi:
Termination of Well-Typed Logic Programs.
PPDP 2001: 73-81 |
| 18 | EE | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi,
Jan-Georg Smaus:
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
CoRR cs.LO/0101022: (2001) |
| 17 | EE | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi:
Properties of Input-Consuming Derivations
CoRR cs.PL/0101023: (2001) |
| 16 | EE | Agostino Cortesi,
Sabina Rossi,
Baudouin Le Charlier:
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 2000 |
|---|
| 15 | EE | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi:
Semantics of Input-Consuming Logic Programs.
Computational Logic 2000: 194-208 |
| 14 | EE | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle,
Sabina Rossi:
On Modular Termination Proofs of General Logic Programs
CoRR cs.LO/0005018: (2000) |
| 13 | EE | Baudouin Le Charlier,
Sabina Rossi,
Pascal Van Hentenryck:
Sequence-Based Abstract Interpretation of Prolog
CoRR cs.LO/0010028: (2000) |
| 12 | | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi:
Semantics of well-moded input-consuming logic programs.
Comput. Lang. 26(1): 1-25 (2000) |
| 1999 |
|---|
| 11 | EE | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi:
Properties of Input-Consuming Derivations.
Electr. Notes Theor. Comput. Sci. 30(1): (1999) |
| 10 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Verification of Prolog Programs.
J. Log. Program. 39(1-3): 3-42 (1999) |
| 1998 |
|---|
| 9 | EE | Annalisa Bossi,
Sabina Rossi:
Specialising Logic Programs with Respect to Call?Post Specifications.
LOPSTR 1998: 159-178 |
| 1997 |
|---|
| 8 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Behavioural Verification of Prolog Programs.
APPIA-GULP-PRODE 1997: 189-200 |
| 7 | | Baudouin Le Charlier,
Christophe Leclère,
Sabina Rossi,
Agostino Cortesi:
Automated Verification of Behavioural Properties of Prolog Programs.
ASIAN 1997: 225-238 |
| 1996 |
|---|
| 6 | | Agostino Cortesi,
Baudouin Le Charlier,
Sabina Rossi:
Specification-Based Automatic Verification of Prolog Programs.
LOPSTR 1996: 38-57 |
| 1995 |
|---|
| 5 | | Baudouin Le Charlier,
Sabina Rossi:
Entending the FOLON Environment for Automatically Deriving Totally Correct Prolog Procedures from Logic Descriptions.
LPE 1995 |
| 1994 |
|---|
| 4 | | Baudouin Le Charlier,
Sabina Rossi,
Pascal Van Hentenryck:
An Abstract Interpretation Framework for (almost) Full Prolog.
GULP-PRODE (1) 1994: 92-106 |
| 3 | | Baudouin Le Charlier,
Sabina Rossi,
Pascal Van Hentenryck:
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut.
SLP 1994: 157-171 |
| 1993 |
|---|
| 2 | | Gilberto Filé,
Sabina Rossi:
Static Analysis of Prolog with Cut.
GULP 1993: 325-340 |
| 1 | | Gilberto Filé,
Sabina Rossi:
Static Analysis of Prolog with Cut.
LPAR 1993: 134-145 |
