BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Waidner:Michael

Contributed to:

DAC 20152015
FM 20062006
ICALP 20002000

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

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.