| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alvise Spanò, Michele Bugliesi, Agostino Cortesi |
Type-flow Analysis for Legacy COBOL Code.  |
ICSOFT  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei |
Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi |
Channel abstractions for network security. |
Mathematical Structures in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Paolo Modesti |
AnBx - Security Protocols Design and Verification. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Stefano Calzavara, Damiano Macedonio |
Secrecy and Authenticity Types for Secure Distributed Messaging. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio |
A type system for Discretionary Access Control. |
Mathematical Structures in Computer Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi |
Security Abstractions and Intruder Models (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi |
Compliance Preorders for Web Services. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi |
A Theory of Adaptable Contract-Based Service Composition. |
SYNASC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi |
Language Based Secure Communication. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
Dynamic types for authentication. |
Journal of Computer Security |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone |
Space-aware ambients and processes. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Marco Giunti |
Secure implementations of typed channel abstractions. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
language encodings, typed behavioral theories, full abstraction |
| 1 | Michele Bugliesi, Damiano Macedonio, Sabina Rossi |
Static vs Dynamic Typing for Access Control in Pi-Calculus. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener (eds.) |
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II |
ICALP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener (eds.) |
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I |
ICALP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michele Bugliesi, Sabina Rossi |
Non-interference proof techniques for the analysis of cryptographic protocols. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone |
Communication and mobility control in boxed ambients. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Michele Bugliesi, Sophia Drossopoulou |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
Analysis of Typed Analyses of Authentication Protocols. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Marco Giunti |
Typed Processes in Untyped Contexts. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Access control for mobile agents: The calculus of boxed ambients. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Ambient calculi, access control systems, mobile computation, type systems, type safety |
| 1 | Michele Bugliesi, Dario Colazzo, Silvia Crafa |
Type Based Discretionary Access Control. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
Compositional Analysis of Authentication Protocols. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
Authenticity by tagging and typing. |
FMSE |
2004 |
DBLP DOI BibTeX RDF |
authentication, static analysis, process calculi |
| 1 | Viviana Bono, Michele Bugliesi |
First Workshop on Object Oriented Developments - Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
Principles for Entity Authentication. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone |
Secrecy in Untrusted Networks. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone |
A Calculus of Bounded Capacities. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Ambra Ceccato, Sabina Rossi |
Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. |
FCT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Santiago M. Pericás-Geertsen |
Type Inference for Variant Object Types. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Crafa, Michele Bugliesi, Giuseppe Castagna |
Information Flow Security for Boxed Ambients. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Michele Bugliesi, Silvia Crafa |
Typed interpretations of extensible objects. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization |
| 1 | Michele Bugliesi, Giuseppe Castagna |
Behavioural typing for safe ambients. |
Comput. Lang. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone |
A Survey of Name-Passing Calculi and Crypto-Primitives. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone |
Communication Interference in Mobile Boxed Ambients. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Michele Bugliesi, Silvia Crafa |
An overview of Boxed Ambients. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Reasoning about Security in Mobile Ambients. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Subtyping and Matching for Mobile Objects. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Boxed Ambients. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna |
Secure safe ambients. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli |
Object calculi in linear logic. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Typed Mobile Objects. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Michele Bugliesi |
Matching for the lambda Calculus of Objects. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori |
A Subtyping for Extensible, Incomplete Objects. |
Fundam. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Michele Bugliesi |
Interpretations of Extensible Objects and Types. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello |
Optimizing Modular Logic Languages. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Michele Bugliesi |
Matching Constraints for the Lambda Calculus of Objects. |
TLCA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori |
Subtyping Constraints for Incomplete Objects (Extended Abstract). |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
Differential Logic Programs: Programming Methodologies and Semantics. |
Sci. Comput. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Michele Bugliesi, Luigi Liquori |
A Lambda Calculus of Incomplete Objects. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli |
A Linear Logic Calculus Objects. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michele Bugliesi, Hasan M. Jamil |
A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Evelina Lamma, Paola Mello |
Modularity in Logic Programming. |
J. Log. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Hasan M. Jamil |
A Logic for Encapsulation in Object-Oriented Languages. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Michele Bugliesi, Hasan M. Jamil |
A Logic for Encapsulation in Object Oriented Languages. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Evelina Lamma, Paola Mello |
Partial Deduction for Structured Logic Programming. |
J. Log. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Michele Bugliesi, Massimo Fabris |
A New Fixpoint Semantics for Prolog. |
GULP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Nardiello |
SelfLog: Language and Implementation. |
ICLP-Workshops on Implementation of Logic Programming Systems |
1993 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Michele Bugliesi, Massimo Fabris |
A New Fixpoint Semantics for Prolog. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
Differential Logic Programming. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Nardiello |
SelfLog: Language and Implementation. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi |
A Declarative View of Inheritance in Logic Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Michele Bugliesi |
On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Evelina Lamma, Paola Mello |
Partial Evaluation for Hierarchies of Logic Theories. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto |
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. |
CAAP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, F. Russo |
Partial Evaluation in Prolog: Some Improvements about Cut. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")