Travelled to:1 × Ireland
1 × Taiwan
Collaborated with:A.A.Matos M.T.Dashti G.Barthe S.Tarento
Talks about:model (3) noninterfer (1) constraint (1) distribut (1) generic (1) complex (1) random (1) machin (1) formal (1) attack (1)
Person: Jan Cederquist
DBLP: Cederquist:Jan
Contributed to:
2014
2011
2004Wrote 3 papers:
- PDP-2014-MatosC #distributed
- Distributed Noninterference (AAM, JC), pp. 760–764.
- SAC-2011-CederquistD #complexity #constraints
- Complexity of fairness constraints for the Dolev-Yao attacker model (JC, MTD), pp. 1502–1509.
- IJCAR-2004-BartheCT #formal method #random
- A Machine-Checked Formalization of the Generic Model and the Random Oracle Model (GB, JC, ST), pp. 385–399.