Michele Bugliesi

Citado por

	Total	Desde 2019
Citas	2611	574
Índice h	29	13
Índice i10	68	17

180

135

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 24 28 42 37 42 37 48 27 40 97 93 159 168 102 113 103 74 63 61 65 85 67 113 85 77 91 82 125 106 100 94 64

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 Center, Key Researcher SBA ResearchDirecció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	200	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	97	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	79	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
Reasoning about security in mobile ambients M Bugliesi, G Castagna, S Crafa International Conference on Concurrency Theory, 102-120, 2001	64	2001
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	62	2015
A declarative view of inheritance in logic programming M Bugliesi	59	1991
Formal methods for web security M Bugliesi, S Calzavara, R Focardi Journal of Logical and Algebraic Methods in Programming 87, 110-126, 2017	58	2017
Automata, languages and programming C Dwork, M Bugliesi, B Preneel, V Sassone 33rd international colloquium, ICALP, 2006	57	2006
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
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	55	2018
Information flow security for boxed ambients S Crafa, M Bugliesi, G Castagna Electronic Notes in Theoretical Computer Science 66 (3), 76-97, 2002	52	2002
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
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	41	2013
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
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	38	2015
Dynamic types for authentication M Bugliesi, R Focardi, M Maffei Journal of Computer Security 15 (6), 563-617, 2007	38	2007

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