Michele Bugliesi

Cituota

	Visi	Nuo 2019
Šaltiniai	2650	607
h-rodyklė	29	13
i10-rodyklė	68	17

180

135

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 24 28 42 37 42 37 48 27 41 97 93 159 168 102 113 103 74 63 61 66 87 67 113 85 78 91 82 124 106 101 99 90

Viešas pasiekiamumas

Peržiūrėti viską

17 straipsnių

1 straipsnis

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Stefano CalzavaraUniversità Ca' Foscari VeneziaPatvirtintas el. paštas unive.it
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéPatvirtintas el. paštas irif.fr
Riccardo FocardiDAIS, Ca' Foscari University, VenicePatvirtintas el. paštas unive.it
Matteo MaffeiFull Professor at TU Wien, Co-Director TU Wien Cybersecurity CenterPatvirtintas el. paštas tuwien.ac.at
Vladimiro SassoneUniversity of SouthamptonPatvirtintas el. paštas ecs.soton.ac.uk
Viviana BonoUniversita` di TorinoPatvirtintas el. paštas di.unito.it
Paola MelloProfessore di Informatica, Universita' di BolognaPatvirtintas el. paštas unibo.it
Massimo MerroProfessor of Computer Science, Verona University - ItalyPatvirtintas el. paštas univr.it
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityPatvirtintas el. paštas di.unito.it
Sardaouna HamadouINRIA Saclay, LIX École Polytechnique,Patvirtintas el. paštas polymtl.ca
Giorgio DelzannoAssociate Professor, Università di GenovaPatvirtintas el. paštas unige.it
Marco GiuntiUniversity of OxfordPatvirtintas el. paštas cs.ox.ac.uk
Giovanni BernardiAssistant professor, Université Paris Diderot - Paris VIIPatvirtintas el. paštas tcd.ie
Roberto GiacobazziProfessor of Computer Science, University of ArizonaPatvirtintas el. paštas cs.arizona.edu

Stebėti

Michele Bugliesi

Professor of Computer Science, Universita' Ca' Foscari Venezia

Patvirtintas el. paštas unive.it - Pagrindinis puslapis

Static Analysis Program Verification Security Distributed Systems


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	81	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	67	2015
Reasoning about security in mobile ambients M Bugliesi, G Castagna, S Crafa International Conference on Concurrency Theory, 102-120, 2001	65	2001
Formal methods for web security M Bugliesi, S Calzavara, R Focardi Journal of Logical and Algebraic Methods in Programming 87, 110-126, 2017	59	2017
A declarative view of inheritance in logic programming M Bugliesi	59	1991
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	58	2018
Automata, languages and programming C Dwork, M Bugliesi, B Preneel, V Sassone 33rd international colloquium, ICALP, 2006	58	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
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
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
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	41	2015
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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai