( en | de | ru )

 

Disambiguation of "Bauereiß, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
CoSMed: A Confidentiality-Verified Social Media Platform.

, , , and . ITP, volume 9807 of Lecture Notes in Computer Science, page 87-106. Springer, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

Helmut Bauereiß

Leonhard Bauereiß

Ernst Bauereiß

Peter Bauereiss

Kurt Bauereiss

 

Other publications of authors with the same name

Composition and Declassification in Possibilistic Information Flow Security.. University of Bremen, Germany, (2019)Fresh identifiers., and . Arch. Formal Proofs, (2021)Bounded-Deducibility Security (Invited Paper)., , and . ITP, volume 193 of LIPIcs, page 3:1-3:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process., , , , , , , , , and 3 other author(s). SP, page 1003-1020. IEEE, (2020)ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS., , , , , , , , , and 4 other author(s). Proc. ACM Program. Lang., 3 (POPL): 71:1-71:31 (2019)CoCon: A Confidentiality-Verified Conference Management System., , and . Arch. Formal Proofs, (2021)CoSMeDis: A confidentiality-verified distributed social media platform., and . Arch. Formal Proofs, (2021)Compositional BD Security., and . Arch. Formal Proofs, (2021)CoSMed: A confidentiality-verified social media platform., and . Arch. Formal Proofs, (2021)Selective LDAP Multi-Master Replication., , , and . Open Identity Summit, volume P-223 of LNI, page 94-105. GI, (2013)