Travelled to:1 × Canada
1 × Switzerland
1 × USA
Collaborated with:B.Baum-Waidner A.Sadeghi C.Wachsmann M.Backes B.Pfitzmann
Talks about:cryptographi (1) optimist (1) internet (1) industri (1) contract (1) challeng (1) privaci (1) method (1) formal (1) thing (1)
Person: Michael Waidner
DBLP: Waidner:Michael
Contributed to:
2015
2006
2000Wrote 3 papers:
- DAC-2015-SadeghiWW #challenge #industrial #internet #privacy #security
- Security and privacy challenges in industrial internet of things (ARS, CW, MW), p. 6.
- FM-2006-BackesPW #encryption #formal method
- Formal Methods and Cryptography (MB, BP, MW), pp. 612–616.
- ICALP-2000-Baum-WaidnerW #contract #multi
- Round-Optimal and Abuse Free Optimistic Multi-party Contract Signing (BBW, MW), pp. 524–535.