( en | de | ru )

 

Disambiguation of "Truderung, Tomasz"

Author of the publication

copydeleteadd this publication to your clipboard
A Hybrid Approach for Proving Noninterference of Java Programs.

, , , , , and . CSF, page 305-319. IEEE Computer Society, (2015)

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.

Maimu Truderung

Max Truderung

Tomasz Kupka

Ascheablagerungsprobleme bei der Mitverbrennung von alternativen Brennstoffen in Steinkohlekraftwerken. TU Clausthal-Zellerfeld, (2009)

Tomasz Wocjan

Dynamics of DNA in nucleosomes and plasmids studied by Brownian dynamics. Uni Heidelberg, (2009)

Tomasz Mistrzyk

 

Other publications of authors with the same name

A Game-Based Definition of Coercion-Resistance and its Applications., , and . IACR Cryptology ePrint Archive, (2009)Accountability: definition and relationship to verifiability., , and . ACM Conference on Computer and Communications Security, page 526-535. ACM, (2010)On the Automatic Analysis of Recursive Security Protocols with XOR., and . STACS, volume 4393 of Lecture Notes in Computer Science, page 646-657. Springer, (2007)Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study., , and . IEEE Symposium on Security and Privacy, page 538-553. IEEE Computer Society, (2011)Set Constraints on Regular Terms., and . CSL, volume 3210 of Lecture Notes in Computer Science, page 458-472. Springer, (2004)Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach., and . J. Autom. Reason., 46 (3-4): 325-352 (2011)An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols., and . SP, page 251-266. IEEE Computer Society, (2009)Clash Attacks on the Verifiability of E-Voting Systems., , and . IEEE Symposium on Security and Privacy, page 395-409. IEEE Computer Society, (2012)SoK: Verifiability Notions for E-Voting Protocols., , , , and . IEEE Symposium on Security and Privacy, page 779-798. IEEE Computer Society, (2016)Security Analysis of Re-Encryption RPC Mix Nets., and . IACR Cryptology ePrint Archive, (2015)