Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Haines, Lewis
2  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

How not to prove your election outcome:

, In: 2020 IEEE Symposium on Security and Privacy (SP),
Haines, Thomas ; Lewis, Sarah Jamie ; Pereira, Olivier. - p. 644-660 , 2020
Link: https://doi.org/10.1109/..
 
?
2

Formal verification to enhance evolution of protocols:

, In: Proceedings of the 11th Annual conference on Genetic and evolutionary computation,
Lewis, Tim ; Haines, Russell J. - p. 1889-1890 , 2009
Link: https://dl.acm.org/doi/1..
 
1-2