( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Auditable PAKEs: Approaching Fair Exchange Without a TTP.

, и . Security Protocols Workshop, том 10476 из Lecture Notes in Computer Science, стр. 278-297. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

A W Eckert

Ingolf W A Baalmann

Klaus A W Brose

Patrick A W Klemens

Klaus A W Brose

 

Другие публикации лиц с тем же именем

Short-Output Universal Hash Functions and Their Use in Fast and Secure Data Authentication., и . FSE, том 7549 из Lecture Notes in Computer Science, стр. 326-345. Springer, (2012)Local Search in Model Checking., , и . ATVA, том 5799 из Lecture Notes in Computer Science, стр. 22-38. Springer, (2009)Programs as Executable Predicates., и . FGCS, стр. 220-228. OHMSHA Ltd. Tokyo and North-Holland, (1984)Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency., и . Concurrency: Theory, Language, And Architecture, том 491 из Lecture Notes in Computer Science, стр. 36-63. Springer, (1989)An Improved Failures Model for Communicating Processes., и . Seminar on Concurrency, том 197 из Lecture Notes in Computer Science, стр. 281-305. Springer, (1984)Understanding Concurrent Systems.. Texts in Computer Science Springer, (2010)The Laws of Occam Programming., и . Theor. Comput. Sci., (1988)Guardian: Symbolic Validation of Orderliness in SGX Enclaves., , и . CCSW, стр. 111-123. ACM, (2021)Committable: A Decentralised and Trustless Open-Source Protocol., , , и . ICBC, стр. 1-2. IEEE, (2022)CSP and determinism in security modelling.. S&P, стр. 114-127. IEEE Computer Society, (1995)