BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Martinelli:Fabio

Contributed to:

QAPL 20152015
STOC 20132013
PDP 20122012
SFM 20112011
PDP 20102010
STOC 20092009
ESOP 20032003
ICALP 20002000
World Congress on Formal Methods 19991999
TACAS 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.