Sabina Rossi

	2008
51		Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi: PicNIc - Pi-calculus non-interference checker. ACSD 2008: 33-38
	2007
50		Michele Bugliesi, Damiano Macedonio, Sabina Rossi: Static vs Dynamic Typing for Access Control in Pi-Calculus. ASIAN 2007: 282-296
49		Annalisa Bossi, Carla Piazza, Sabina Rossi: Action Refinement in Process Algebra and Security Issues. LOPSTR 2007: 201-217
48		Silvia Crafa, Sabina Rossi: Controlling information release in the pi-calculus. Inf. Comput. 205(8): 1235-1273 (2007)
47		Annalisa Bossi, Carla Piazza, Sabina Rossi: Compositional information flow security for concurrent programs. Journal of Computer Security 15(3): 373-416 (2007)
	2006
46		Silvia Crafa, Sabina Rossi: P-congruences as non-interference for the pi-calculus. FMSE 2006: 13-22
45		Riccardo Focardi, Sabina Rossi: Information flow security in dynamic contexts. Journal of Computer Security 14(1): 65-110 (2006)
	2005
44		Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld: Bridging Language-Based and Process Calculi Security. FoSSaCS 2005: 299-315
43		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		Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information flow in secure contexts. Journal of Computer Security 13(3): 391-422 (2005)
	2004
40		Annalisa Bossi, Carla Piazza, Sabina Rossi: Modelling Downgrading in Information Flow Security. CSFW 2004: 187-
39		Annalisa Bossi, Carla Piazza, Sabina Rossi: Unwinding Conditions for Security in Imperative Languages. LOPSTR 2004: 85-100
38		Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi: Declarative Semantics of Input Consuming Logic Programs. Program Development in Computational Logic 2004: 90-114
37		Carla Piazza, Enrico Pivato, Sabina Rossi: CoPS - Checker of Persistent Security. TACAS 2004: 144-152
36		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		Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Verifying persistent security properties. Computer Languages, Systems & Structures 30(3-4): 231-258 (2004)
34		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		Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Secure Contexts for Confidential Data. CSFW 2003: 14-28
32		Michele Bugliesi, Ambra Ceccato, Sabina Rossi: Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. FCT 2003: 364-375
31		Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information Flow Security and Recursive Systems. ICTCS 2003: 369-382
30		Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Refinement Operators and Information Flow Security. SEFM 2003: 44-53
29		Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI 2003: 223-237
	2002
28		Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Transforming Processes to Check and Ensure Information Flow Security. AMAST 2002: 271-286
27		Riccardo Focardi, Sabina Rossi: Information Flow Security in Dynamic Contexts. CSFW 2002: 307-319
26		Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: A Proof System for Information Flow Security. LOPSTR 2002: 199-218
25		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		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		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		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		Annalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of Input-Consuming Derivations CoRR cs.PL/0101023: (2001)
16		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		Annalisa Bossi, Sandro Etalle, Sabina Rossi: Semantics of Input-Consuming Logic Programs. Computational Logic 2000: 194-208
14		Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi: On Modular Termination Proofs of General Logic Programs CoRR cs.LO/0005018: (2000)
13		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		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		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

Coauthor Index

1	Annalisa Bossi	[9] [11] [12] [14] [15] [17] [18] [19] [21] [22] [23] [26] [28] [29] [30] [31] [33] [34] [35] [36] [38] [39] [40] [41] [47] [49]
2	Michele Bugliesi	[32] [42] [50]
3	Ambra Ceccato	[32]
4	Baudouin Le Charlier	[3] [4] [5] [6] [7] [8] [10] [13] [16] [20] [24]
5	Nicoletta Cocco	[14] [19] [22] [38]
6	Agostino Cortesi	[6] [7] [8] [10] [16] [20]
7	Silvia Crafa	[43] [46] [48] [51]
8	Sandro Etalle	[11] [12] [14] [15] [17] [18] [21] [22] [23] [36] [38]
9	Gilberto Filé	[1] [2]
10	Riccardo Focardi	[25] [26] [27] [28] [29] [30] [34] [35] [44] [45]
11	Pascal Van Hentenryck	[3] [4] [13] [24]
12	Christophe Leclère	[7] [8] [10]
13	Damiano Macedonio	[31] [33] [34] [41] [50]
14	Marino Miculan	[51]
15	Matteo Mio	[51]
16	Carla Piazza	[25] [26] [28] [29] [30] [31] [33] [34] [35] [37] [39] [40] [41] [47] [49] [51]
17	Enrico Pivato	[37]
18	Andrei Sabelfeld	[44]
19	Jan-Georg Smaus	[18] [21] [36]