Travelled to:1 × Cyprus
1 × Russia
1 × USA
Collaborated with:A.Schulz T.Strufe S.Döweling A.Göb S.Meier C.Cremers D.A.Basin
Talks about:base (2) micropost (1) protocol (1) interact (1) tamarin (1) analysi (1) theori (1) system (1) symbol (1) prover (1)
Person: Benedikt Schmidt
DBLP: Schmidt:Benedikt
Contributed to:
2015
2013
2012Wrote 3 papers:
- HT-2015-SchulzSS #detection
- Small-Scale Incident Detection based on Microposts (AS, BS, TS), pp. 3–12.
- CAV-2013-MeierSCB #analysis #protocol #proving #security
- The TAMARIN Prover for the Symbolic Analysis of Security Protocols (SM, BS, CC, DAB), pp. 696–701.
- CSCW-2012-DowelingSG #design #interactive #process
- A model for the design of interactive systems based on activity theory (SD, BS, AG), pp. 539–548.