Michele Bugliesi

Citado por

	Total	Desde 2020
Citas	2674	546
Índice h	29	12
Índice i10	68	16

180

135

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 25 27 42 37 42 37 48 27 41 97 96 156 168 102 113 103 74 63 61 66 87 67 113 85 78 91 82 124 106 101 99 106 10

Acceso público

Ver todo

17 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Stefano CalzavaraUniversità Ca' Foscari VeneziaDirección de correo verificada de unive.it
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéDirección de correo verificada de irif.fr
Riccardo FocardiDAIS, Ca' Foscari University, VeniceDirección de correo verificada de unive.it
Matteo MaffeiFull Professor at TU Wien, Co-Director TU Wien Cybersecurity CenterDirección de correo verificada de tuwien.ac.at
Vladimiro SassoneUniversity of SouthamptonDirección de correo verificada de ecs.soton.ac.uk
Viviana BonoUniversita` di TorinoDirección de correo verificada de di.unito.it
Paola MelloProfessore di Informatica, Universita' di BolognaDirección de correo verificada de unibo.it
Massimo MerroProfessor of Computer Science, Verona University - ItalyDirección de correo verificada de univr.it
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityDirección de correo verificada de di.unito.it
Sardaouna HamadouINRIA Saclay, LIX École Polytechnique,Dirección de correo verificada de polymtl.ca
Giorgio DelzannoAssociate Professor, Università di GenovaDirección de correo verificada de unige.it
Marco GiuntiUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Giovanni BernardiAssistant professor, Université Paris Diderot - Paris VIIDirección de correo verificada de tcd.ie
Roberto GiacobazziProfessor of Computer Science, University of ArizonaDirección de correo verificada de cs.arizona.edu

Seguir

Michele Bugliesi

Professor of Computer Science, Universita' Ca' Foscari Venezia

Dirección de correo verificada de unive.it - Página principal

Static Analysis Program Verification Security Distributed Systems


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Modularity in logic programming M Bugliesi, E Lamma, P Mello The Journal of Logic Programming 19, 443-502, 1994	202	1994
Boxed ambients M Bugliesi, G Castagna, S Crafa International Symposium on Theoretical Aspects of Computer Software, 38-63, 2001	196	2001
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	121	2004
Secure safe ambients M Bugliesi, G Castagna Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001	98	2001
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	86	2016
Communication interference in mobile boxed ambients M Bugliesi, S Crafa, M Merro, V Sassone FST TCS 2002: Foundations of Software Technology and Theoretical Computer …, 2002	76	2002
CookiExt: Patching the browser against session hijacking attacks M Bugliesi, S Calzavara, R Focardi, W Khan Journal of Computer Security 23 (4), 509-537, 2015	68	2015
Reasoning about security in mobile ambients M Bugliesi, G Castagna, S Crafa International Conference on Concurrency Theory, 102-120, 2001	65	2001
Semantics-based analysis of content security policy deployment S Calzavara, A Rabitti, M Bugliesi ACM Transactions on the Web (TWEB) 12 (2), 1-36, 2018	63	2018
Formal methods for web security M Bugliesi, S Calzavara, R Focardi Journal of Logical and Algebraic Methods in Programming 87, 110-126, 2017	60	2017
Automata, languages and programming C Dwork, M Bugliesi, B Preneel, V Sassone 33rd international colloquium, ICALP, 2006	60	2006
A declarative view of inheritance in logic programming M Bugliesi	59	1991
Communication and mobility control in boxed ambients M Bugliesi, S Crafa, M Merro, V Sassone Information and Computation 202 (1), 39-86, 2005	56	2005
Information flow security for boxed ambients S Crafa, M Bugliesi, G Castagna Electronic Notes in Theoretical Computer Science 66 (3), 76-97, 2002	53	2002
A supervised learning approach to protect client authentication on the web S Calzavara, G Tolomei, A Casini, M Bugliesi, S Orlando ACM Transactions on the Web (TWEB) 9 (3), 1-30, 2015	42	2015
Lintent: Towards security type-checking of Android applications M Bugliesi, S Calzavara, A Spanò International Conference on Formal Methods for Open Object-Based Distributed …, 2013	42	2013
Subtyping constraints for incomplete objects V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori TAPSOFT'97: Theory and Practice of Software Development: 7th International …, 1997	42	1997
Authenticity by tagging and typing M Bugliesi, R Focardi, M Maffei Proceedings of the 2004 ACM workshop on Formal methods in security …, 2004	41	2004
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	39	2014
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	39	1993

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores