Travelled to:1 × France
1 × Italy
1 × Poland
1 × Switzerland
1 × The Netherlands
2 × USA
Collaborated with:R.Focardi A.Sinclair R.Gorrieri I.Matteucci D.Marchignoli F.Santini G.Karopoulos P.Mori E.Locatelli P.Caputo A.Stauffer L.Krautsevich A.Lazouski A.Yautsiukhin G.Costa V.Issarny R.Saadi
Talks about:cryptograph (3) protocol (3) analysi (3) secur (3) approach (2) control (2) solid (2) usag (2) time (2) base (2)
Person: Fabio Martinelli
DBLP: Martinelli:Fabio
Contributed to:
2015
2013
2012
201120102009
2003
2000
1999
1999Wrote 10 papers:
- QAPL-2015-MartinelliMS #security #specification
- Semiring-based Specification Approaches for Quantitative Security (FM, IM, FS), pp. 95–109.
- STOC-2013-CaputoMSS #algorithm #random
- Random lattice triangulations: structure and algorithms (PC, FM, AS, AS), pp. 615–624.
- PDP-2012-KaropoulosMM
- Continuous Authorizations in SIP with Usage Control (GK, PM, FM), pp. 283–287.
- SFM-2011-CostaIMMS #security #trust
- Security and Trust (GC, VI, FM, IM, RS), pp. 393–416.
- PDP-2010-KrautsevichLMY #architecture
- Risk-Based Usage Control for Service Oriented Architecture (LK, AL, FM, AY), pp. 641–648.
- STOC-2009-MartinelliS
- Mixing time for the solid-on-solid model (FM, AS), pp. 571–580.
- ESOP-2003-GorrieriLM #analysis #encryption #protocol #realtime
- A Simple Language for Real-Time Cryptographic Protocol Analysis (RG, EL, FM), pp. 114–128.
- ICALP-2000-FocardiGM #analysis #encryption #protocol
- Non Interference for the Analysis of Cryptographic Protocols (RF, RG, FM), pp. 354–372.
- FM-v1-1999-FocardiM #approach #security
- A Uniform Approach for the Definition of Security Properties (RF, FM), pp. 794–813.
- TACAS-1999-MarchignoliM #analysis #automation #composition #encryption #protocol #verification
- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques (DM, FM), pp. 148–162.