Selected Publications
The versions given here are not necessarily identical to any of the
previously published ones. I believe that the technical contents are the
same. The documents distributed by this server have been provided as a
means to ensure timely dissemination of scholarly and technical work on
a noncommercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that they
have offered their works here electronically. It is understood that all
persons copying this information will adhere to the terms and constraints
invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
In journals
-
Channel Abstractions for Network Security
Michele Bugliesi, Riccardo Focardi.
Mathematical Structures in Computer Science, 20:3-44, (2010).
- A Type System for Discretionary Access Control
M. Bugliesi, D. Colazzo, S. Crafa, D. Macedonio.
Mathematical Structures in Computer Science, 19:839-875, (2009).
- Dynamic Types for Anthentication.
Michele Bugliesi, Riccardo Focardi, Matteo Maffei.
Journal of Computer Security 15(6): 563-617 (2007).
-
Space Aware Ambients and Processes
Franco Barbanera, Michele Bugliesi, Mariangiola Dezani and Vladimiro Sassone.
Theoretical Computer Science 373(1-2): 41-69 (2007).
-
Communication and Mobility Control in Boxed Ambients
Michele Bugliesi, Silvia Crafa, Massimo Merro and Vladimiro Sassone.
Information and Computation 202(1): 39-86 (2005).
-
Non-Interference Proof Techniques for the Analysis of
Cryptographic Protocols
Michele Bugliesi and Sabina Rossi.
Journal of Computer Security 13(1): 87-113 (2005).
-
Access Control for Mobile Agents: the Calculus of Boxed Ambients
Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa.
ACM Transactions on Programming Languages and Systems 26(1): 57-124 (2004).
-
Behavioural Typing for Safe Ambients.
Michele Bugliesi and Giuseppe Castagna.
Computer Languages, 28(1):61-99 (2002).
-
Typed Interpretations of Extensible Objects
V. Bono, M. Bugliesi and S. Crafa.
ACM Transactions on Computational Logic 3(4) 562-603 (2002).
-
Type Inference for Variant Object Types
M. Bugliesi and Santiago Pericas.
Information and Computation 177 (1), 2-27 (2002).
-
Object Calculi in Linear Logic.
M. Bugliesi, G. Delzanno, L. Liquori and M. Martelli.
Journal of Logic and Computation, 10(1) 75-104 (2000).
-
A Subtyping for Extensible, Incomplete Objects.
V. Bono, M. Bugliesi, L. Liquori and M. Dezani-Ciancaglini.
Fundamenta Informaticae, 38(4) 325-364 (1999).
-
Matching for the Lambda Calculus of Objects.
V. Bono and M. Bugliesi.
Theoretical Computer Science 212(1-2) 101-140 (1999)
-
Optimizing Modular Logic Languages.
M. Bugliesi, A. Ciampolini, E. Lamma and P. Mello.
ACM Computing Surveys 30(3) 10-15 (1998).
-
Differential Logic Programming: Programming Methodologies and Semantics.
A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi and M.C. Meo.
Science of Computer Programmaing, 27(3) 217-262 (1996).
-
Modularity in Logic Programming
M. Bugliesi, E. Lamma and P. Mello.
Journal of Logic Programming (19, 20): 443-502 (1994)..
-
Partial Deduction for Structured Logic Programming.
M. Bugliesi, E. Lamma and P. Mello.
Journal of Logic Programming 16:89-122 (1993)..
In conferences
-
AnBx - Security Protocols Design and Verification.
M. Bugliesi, P. Modesti.
ARSPA-WITS'10 Joint Workshop on Automated Reasoning for Security
Protocol
Analysis and Issues in the Theory of Security.
-
Secrecy and Authenticity Types for Secure
Distributed Messaging.
M. Bugliesi, S. Calzavara.
ARSPA-WITS'10 Joint Workshop on Automated Reasoning for Security
Protocol
Analysis and Issues in the Theory of Security.
-
Compliance Preorders for Web Services.
M. Bugliesi, D. Macedonio, L. Pino, S. Rossi.
WS-FM 2009, 6th International Workshop on Web Services and Formal
Methods.
-
A Theory of Adaptable Contract-Based Service Composition.
Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi.
SYNASC 2008: Workshop on Global Computing Models and Technologies.
-
Security Abstractions and Intruder Models
Michele Bugliesi, Riccardo Focardi.
EXPRESS 2008: 15th Workshop on Expressiveness in Concurrency.
-
Language Based Secure Communication
Michele Bugliesi, Riccardo Focardi.
CSF 2008: 21th Symposyum on Computer Security Foundations.
-
Static vs Dynamic Typing for Access Control
in Pi-Calculus
Michele Bugliesi, Damiano Macedonio, Sabina Rossi.
ASIAN 2007: 282-296. Tenth Asian Computer Science Conference
-
Secure implementations of typed channel abstractions.
Michele e Bugliesi, Marco Giunti
POPL 2007: 251-262. Principles of Programming Languages.
-
Analysis of Typed Analyses of Authentication Protocols.
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
CSFW 2005: 112-125. Computer Security Foundation Workshopp
- Typed Processes in Untyped Contexts.
Michele Bugliesi, Marco Giunti
TGC 2005: 19-32. Trustworty Global Computing.
-
Authenticity by Tagging and Typing.
Michele Bugliesi, Riccardo Focardi, Matteo Maffei.
FMSE'04, ACM Workshop on Formal Methods in Software Engineering (Affiliated to CCS'04).
-
Compositional Analysis of Authentication Protocols.
Michele Bugliesi, Riccardo Focardi, Matteo Maffei.
ESOP 2004, European Symposium on Programming.
-
Type Based Discretionary Access Control.
Michele Bugliesi, Dario Colazzo, Silvia Crafa.
CONCUR'04, 15th Int. Conference on Concurrency Theory.
-
A Calculus of Bounded Capacities.
Franco Barbanera, Michele Bugliesi, Mariangiola Dezani and Vladimiro
Sassone.
ASIAN'03, Eighth Asian Computing Science Conference.
-
Context-Sensitive Equivalences for
Non-Interference based Protocol Analysis.
Michele Bugliesi, Ambra Ceccato, and Sabina Rossi.
FCT'03, International Symposium on Fundamentals of Computing.
-
Secrecy in Untrusted Networks
Michele Bugliesi, Silvia Crafa, Amela Prelic and Vladimiro Sassone.
ICALP'03, Int. Colloquium on Automata Languages and Programming.
-
Communication Interference in Mobile Boxed Ambients.
Michele Bugliesi, Silvia Crafa, Massimo Merro and Vladimiro Sassone.
FSTTCS'02: Int. Conf. on Foundations of Software Technology and Theoretical Computer Science.
-
Information Flow Security for Boxed Ambients.
Silvia Crafa, Michele Bugliesi and Giuseppe Castagna.
F-WAN: Foundations of Wide Area Network Computing ENTCS 66(3), 2002.
-
Boxed Ambients.
Michele Bugliesi, Giuseppe Castagna and Silvia Crafa.
TACS'01 Proc. of the 4th Int. Conference on Theoretical Aspects of Computer Science.
-
Reasoning about Security in Mobile Ambients.
Michele Bugliesi, Giuseppe Castagna and Silvia Crafa.
CONCUR'01, 12th Int. Conference on Concurrency Theory.
-
Subtyping and Matching for Mobile Objects
Michele Bugliesi, Giuseppe Castagna and Silvia Crafa.
ICTCS'01 Proceedings of the Italian Conference on Theoretical Computer Science
-
Secure Safe Ambients.
Michele Bugliesi and Giuseppe Castagna.
POPL'01 Proc. 28th ACM Symposium on Principles of Programming Languages, 222-235, London. 2001
-
Typed Mobile Objects.
Michele Bugliesi, Giuseppe Castagna and Silvia Crafa.
CONCUR 2000 Proc. 11th Int. Conference on Concurrency Theory, LNCS 1877, 504-520.
-
Mobile Objects.
Michele Bugliesi and Giuseppe Castagna.
FOOL'7 Proc. of the 7th Int. Workshop on Foundations of Object
Oriented Languages.
Electronic Proceedings. Boston. 2000.
-
Depth Subtyping and Type Inference for Object Calculi.
Michele Bugliesi and Santiago Pericas.
FOOL'7 Proc. of the 7th Int. Workshop on Foundations of Object Oriented Languages.
Electronic Proceedings. Boston. 2000.
-
Interpretations of Extensible Objects and Types.
V. Bono and M. Bugliesi
FCT'99 Proc. of the 12th Int. Symposium on Fundamentals of Computing, LNCS 1684, 112-123. Iasi, 1999.
-
Object Calculi with Dynamic Messages.
M. Bugliesi and Silvia Crafa.
FOOL'6 Proc. of the 6th Int. Workshop on Foundations of Object Oriented Languages.
Electronic Proceedings. San Antonio. 1999.
-
Subtyping Constraints for Incomplete Objects.
V. Bono, M. Bugliesi, L. Liquori and M. Dezani-Ciancaglini.
TAPSOFT'97 Proc. of the 7th Int. Conf. on Theory and Practice of Software Development, LNCS 1214, 465-477.
-
Matching Constraints for the Lambda Calculus of Objects.
V. Bono and M. Bugliesi
TLCA'97 Proc. of the 3rd Int. Conference on Typed Lambda Calculus and Applications, LNCS 1210, 46-62
-
A Linear Logic Calculus of Objects.
M. Bugliesi, G. Delzanno, L. Liquori and M. Martelli.
JICSLP'96 Proc. of the Joint Int. Conference and Symposium on Logic Programming, 67-81.
-
A Lambda Calculus of Incomplete Objects.
V. Bono, M. Bugliesi and L. Liquori.
MFCS'96 Proc. of the 6th Conf. on Mathematical Foundations of Computer Sciences, LNCS 1113, 218-229.
-
A Stable Model Semantics for Behavioral Inheritance in Deductive OO Languages.
M. Bugliesi and H. M. Jamil.
ICDT'95 Proc. of the 5th Int. Conference on Database Theory, LNCS 893, 222-237
-
A Logic of Encapsulation for Deductive Object Oriented Languages.
M. Bugliesi and H. M. Jamil.
PLILP'94 6th Int. Symp. on Programming Language Implementation and Logic Programming, LNCS 844, 215-229
-
A new Fixpoint Semantics for Prolog.
A. Bossi, M. Bugliesi and M. Fabris.
ICLP'93 Proc. of the 10th Int. Conference on Logic Programming, 374-389.
-
Differential Logic Programs.
A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi and M. C. Meo.
POPL'93 Proc. of the 20th ACM Symp. on Principles of Programming Languages, 359-370
-
On the Semantics of Inheritance in Logic Programming: Compositionality
and Full Abstraction.
M. Bugliesi.
WELP'93 Proc. of the Workshop on Extensions of Logic Programming, LNAI 660, 205-215.
-
A Declarative View of Inheritance in Logic Programming.
M. Bugliesi.
JICSLP'92 Proc. of the Joint Int. Conference and Symposium on Logic Programming, 113-130.
-
Partial Evaluation for Hierarchies of Logic Theories.
M. Bugliesi, E. Lamma, and P. Mello.
NACLP'90 Proc. of the North American Conf. on Logic Programming, 359-376.
-
Combinatory Forms for Equational Programming: Instances, Unification
e Narrowing.
M. Bugliesi, M. Bellia and M. E. Occhiuto.
CAAP'90 Proc. of the 5th Colloquium on Trees in Algebra and Programming, LNCS 431, 42-56.
-
Partial Evaluation in Prolog : some Improvements about Cut.
M. Bugliesi and F. Russo.
NACLP'89 Proc. of the North American Conference on Logic Programming, 645-660,
-
SelfLog: Language and Implementation.
M. Bugliesi and G. Nardiello.
Implementation of Logic Programming Systems, 1-15. Kluwer Academy Publishers, 1994.