E-LIB Suche - Ergebnisse für: Haines, Thomas

1

Machine-Checked Proofs of Accountability: How to sElect Who..:

, In: Computer Security – ESORICS 2023; Lecture Notes in Computer Science,

Drăgan, Constantin Cătălin ; Dupressoir, François ; Gjøsteen, Kristian... - p. 471-491 , 2024

Link: https://doi.org/10.1007/..

2

Features, events and processes (FEP) analysis of the intera..:

Parsons, Sam ; Haines, Thomas ; White, Matthew...
Safety of Nuclear Waste Disposal. 2 (2023) - p. 177-178 , 2023

Link: https://doi.org/10.5194/..

3

SoK: Secure E-Voting with Everlasting Privacy:

Haines, Thomas ; Mosaheb, Rafieh ; Müller, Johannes.
Proceedings on Privacy Enhancing Technologies. 2023 (2023) 1 - p. 279-293 , 2023

Link: https://doi.org/10.56553..

4

Financial Cryptography and Data Security. FC 2022 Internati..

Lecture Notes in Computer Science, 13412

Matsuo, Shin'ichiro ; Gudgeon, Lewis ; Klages-Mundt, Ariah... - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

5

On the Auditability of the Estonian IVXV System: And an Att..:

, In: Financial Cryptography and Data Security. FC 2023 International Workshops; Lecture Notes in Computer Science,

Sutopo, Anggrio ; Haines, Thomas ; Roenne, Peter - p. 19-33 , 2023

Link: https://doi.org/10.1007/..

6

Scalable Coercion-Resistant E-Voting under Weaker Trust Ass..:

, In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,

Haines, Thomas ; Müller, Johannes ; Querejeta-Azurmendi, Iñigo - p. 1576-1584 , 2023

Link: https://dl.acm.org/doi/1..

7

Coercion Mitigation for Voting Systems with Trackers: A Sel..:

, In: Electronic Voting; Lecture Notes in Computer Science,

Gjøsteen, Kristian ; Haines, Thomas ; Solberg, Morten Rotvold - p. 69-86 , 2023

Link: https://doi.org/10.1007/..

8

Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation M..:

Tran, Duong Dinh ; Ogata, Kazuhiro ; Escobar, Santiago...
IET Information Security. 2023 (2023) - p. 1-17 , 2023

Link: https://doi.org/10.1049/..

9

Machine-Checked Proofs of Privacy Against Malicious Boards ..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),

Dragan, Constantin Catalin ; Dupressoir, Francois ; Estaji, Ehsan... - p. 335-347 , 2022

Link: https://doi.org/10.1109/..

10

Verifiable Decryption in the Head:

, In: Information Security and Privacy; Lecture Notes in Computer Science,

Gjøsteen, Kristian ; Haines, Thomas ; Müller, Johannes.. - p. 355-374 , 2022

Link: https://doi.org/10.1007/..

11

Running the Race: A Swiss Voting Story:

, In: Electronic Voting; Lecture Notes in Computer Science,

Haines, Thomas ; Pereira, Olivier ; Teague, Vanessa - p. 53-69 , 2022

Link: https://doi.org/10.1007/..

12

Normality and Cohen–Macaulayness of parahoric local models:

Haines, Thomas J. ; Richarz, Timo
Journal of the European Mathematical Society. 25 (2022) 2 - p. 703-729 , 2022

Link: https://doi.org/10.4171/..

13

Entrepreneurship education and the arts: designing a commer..:

, In: Annals of Entrepreneurship Education and Pedagogy – 2021,

Haines, Thomas ; H. Matthews, Charles , 2021

Link: https://doi.org/10.4337/..

14

Machine-Checking the Universal Verifiability of ElectionGua..:

, In: Secure IT Systems; Lecture Notes in Computer Science,

Haines, Thomas ; Goré, Rajeev ; Stodart, Jack - p. 57-73 , 2021

Link: https://doi.org/10.1007/..

15

Did you mix me? Formally Verifying Verifiable Mix Nets in E..:

, In: 2021 IEEE Symposium on Security and Privacy (SP),

Haines, Thomas ; Gore, Rajeev ; Sharma, Bhavesh - p. 1748-1765 , 2021

Link: https://doi.org/10.1109/..