Michele Bugliesi
Michele Bugliesi
Professor of Computer Science, Universita' Ca' Foscari Venezia
Email verificata su unive.it - Home page
Titolo
Citata da
Citata da
Anno
Boxed ambients
M Bugliesi, G Castagna, S Crafa
International Symposium on Theoretical Aspects of Computer Software, 38-63, 2001
1842001
Modularity in logic programming
M Bugliesi, E Lamma, P Mello
The Journal of Logic Programming 19, 443-502, 1994
1781994
Access control for mobile agents: The calculus of boxed ambients
M Bugliesi, G Castagna, S Crafa
ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (1), 57-124, 2004
1082004
Secure safe ambients
M Bugliesi, G Castagna
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
922001
Communication interference in mobile boxed ambients
M Bugliesi, S Crafa, M Merro, V Sassone
International Conference on Foundations of Software Technology and …, 2002
702002
Reasoning about security in mobile ambients
M Bugliesi, G Castagna, S Crafa
International Conference on Concurrency Theory, 102-120, 2001
632001
A declarative view of inheritance in logic programming
M Bugliesi
621991
Communication and mobility control in boxed ambients
M Bugliesi, S Crafa, M Merro, V Sassone
Information and Computation 202 (1), 39-86, 2005
522005
Information flow security for boxed ambients
S Crafa, M Bugliesi, G Castagna
Electronic Notes in Theoretical Computer Science 66 (3), 76-97, 2002
462002
Differential logic programming
A Bossi, M Bugliesi, M Gabbrielli, G Levi, MC Meo
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
431993
Subtyping constraints for incomplete objects
V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori
Colloquium on Trees in Algebra and Programming, 465-477, 1997
391997
Dynamic types for authentication
M Bugliesi, R Focardi, M Maffei
Journal of Computer Security 15 (6), 563-617, 2007
362007
Authenticity by tagging and typing
M Bugliesi, R Focardi, M Maffei
Proceedings of the 2004 ACM workshop on Formal methods in security …, 2004
352004
Lintent: towards security type-checking of android applications
M Bugliesi, S Calzavara, A Spanò
Formal techniques for distributed systems, 289-304, 2013
332013
Secure implementations of typed channel abstractions
M Bugliesi, M Giunti
ACM SIGPLAN Notices 42 (1), 251-262, 2007
332007
Compositional analysis of authentication protocols
M Bugliesi, R Focardi, M Maffei
European Symposium on Programming, 140-154, 2004
332004
Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication
S Calzavara, G Tolomei, M Bugliesi, S Orlando
Proceedings of the 23rd international conference on World wide web, 189-200, 2014
322014
Content security problems? evaluating the effectiveness of content security policy in the wild
S Calzavara, A Rabitti, M Bugliesi
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
302016
Analysis of typed analyses of authentication protocols
M Bugliesi, R Focardi, M Maffei
18th IEEE Computer Security Foundations Workshop (CSFW'05), 112-125, 2005
302005
A calculus of bounded capacities
F Barbanera, M Bugliesi, M Dezani-Ciancaglini, V Sassone
Annual Asian Computing Science Conference, 205-223, 2003
302003
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20