BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rossi:Sabina

Contributed to:

LOPSTR 20072007
FoSSaCS 20052005
LOPSTR 20042004
PDCL 20042004
TACAS 20042004
SEFM 20032003
VMCAI 20032003
LOPSTR 20022002
VMCAI 20022002
ESOP 20012001
PPDP 20012001
CL 20002000
LOPSTR 19981998
LOPSTR 19961996
ILPS 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.