Marco Giunti
DI-FCUL
Email: mgiunti{change}fc.ul.pt
Present and past groups:
LASIGE,
ULisboa;
NOVA LINCS,
UNOVA;
RELEASE,
UBI;
COMETE, Ecole Polytechnique
My main interest is to study language-based techniques for the
analysis and deployment of correct distributed mobile systems
Keywords: session types,
deadlocks, program transformation, pi calculus, network security
Papers
-
Linearity, session types and the pi calculus. MSCS 26(2) 2016. With Vasco T. Vasconcelos,
preprint available
-
Unlocking blocked communicating processes. With
Adrian Francalanza and
Antonio Ravara. WWV 2015
-
Static semantics of secret channel abstractions.
NordSec 2014
(Talk) .
Draft
available
-
Towards static deadlock resolution in the pi calculus, TGC 2013. With Antonio Ravara.
LNCS preprint available
-
Algorithmic type checking for a pi-calculus with name
matching and session types.
JLAP 82(8) 2013,
draft available
-
Hide and new in the pi-calculus,
EXPRESS 2012. With Catuscia Palamidessi and Frank D. Valencia
- Typed observational equivalence for sessions.
Report 2011
- A type checking algorithm for qualified session types,
WWV 2011
(Talk).
Also available as
INRIA report.
A tutorial in Behavioural Types
Workshop
- A linear account of session types in the pi calculus, CONCUR 2010
(Talk).
With Vasco T. Vasconcelos,
full version available
- Type safety without subject reduction for
session types,
Draft 2010
(Talk, IMT).
With Vasco T. Vasconcelos, Kohei Honda and Nobuko Yoshida
- Session based type-discipline for pi calculus with
matching,
PLACES 2009
(Talk).
With Vasco T. Vasconcelos, Kohei Honda and Nobuko Yoshida
- Secure implementations of typed channel abstractions, POPL 2007
(Talk, FCUL).
With Michele Bugliesi,
full version available
- Preventing intrusions through non-interference, MCIS 2006.
Paper available
- Typed processes in untyped contexts, TGC
2005.
With Michele Bugliesi
- Security properties for intrusion detection, NordSec 2004
- PhD Dissertation, Ca' Foscari
Venice University TD-2007-1
Source Code
-
LOCKRES: a session type checker resolving deadlocks.
SML/NJ, builds on TGC 2013 and WWV 2011
Projects and Collaborations
Links
Last update: November 2016