Michele Bugliesi

Available identifiers

zbMath Open bugliesi.micheleWikidataQ81878430 ScholiaQ81878430MaRDI QIDQ511942

List of research outcomes

Publication	Date of Publication	Type
Typed interpretations of extensible objects	2017-06-13	Paper
Formal methods for web security	2017-02-22	Paper
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions	2016-04-26	Paper
Secure safe ambients	2015-03-17	Paper
Secure implementations of typed channel abstractions	2014-09-12	Paper
Security Abstractions and Intruder Models (Extended Abstract)	2014-07-23	Paper
Logical Foundations of Secure Resource Management in Protocol Implementations	2013-08-06	Paper
An overview of Boxed Ambients	2013-07-24	Paper
Fundamentals of Computation Theory	2010-04-20	Paper
Channel abstractions for network security	2010-04-01	Paper
Perspectives of System Informatics	2010-01-05	Paper
A type system for Discretionary Access Control	2009-08-26	Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation	2009-08-11	Paper
Foundations of Security Analysis and Design II	2009-05-14	Paper
Programming Languages and Systems	2007-09-28	Paper
Space-aware ambients and processes	2007-04-13	Paper
Trustworthy Global Computing	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5714432	2006-01-02	Paper
Communication and mobility control in boxed ambients	2005-11-07	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q3024899	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4458488	2004-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4448368	2004-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4449234	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4415245	2003-07-28	Paper
Behavioural typing for safe ambients	2003-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4791832	2003-02-03	Paper
Type inference for variant object types	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536624	2002-11-28	Paper
Object calculi in linear logic	2000-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4934322	2000-01-17	Paper
Matching for the lambda calculus of objects	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4375807	1998-10-01	Paper
Differential logic programs: Programming methodologies and semantics	1996-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4281620	1995-11-23	Paper
Partial deduction for structured logic programming	1993-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4027618	1993-02-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michele Bugliesi