E-LIB Suche - Ergebnisse für: Schneider, Steve

1

Towards End-to-End Verifiable Online Voting: Adding Verifia..:

Alsadi, Mohammed ; Casey, Matthew ; Dragan, Constantin Catalin...
IEEE Transactions on Dependable and Secure Computing. , 2024

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

2

Proceedings of the 16th ACM Conference on Security and Priv..:

Boureanu, Ioana ; Schneider, Steve ; Reaves, Bradley. , 2023

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

3

Preserving Privacy of Vulnerable Users across Heterogeneous..:

, In: Proceedings of the Fifth ACM International Workshop on Blockchain-enabled Networked Sensor Systems,

Desai, Nidhi ; Maesa, Damiano Di Francesco ; Sastry, Nishanth.. - p. 2-8 , 2023

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

4

A Survey of Practical Formal Methods for Security:

Kulik, Tomas ; Dongol, Brijesh ; Larsen, Peter Gorm...
Formal Aspects of Computing. 34 (2022) 1 - p. 1-39 , 2022

Link: https://doi.org/10.1145/..

5

A Declaration of Software Independence:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,

Jamroga, Wojciech ; Ryan, Peter Y. A. ; Schneider, Steve.. - p. 198-217 , 2021

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

6

Computer Security – ESORICS 2020: 25th European Symposium o..

Security and Cryptology, 12309

Chen, Liqun ; Li, Ninghui ; Liang, Kaitai. - 1st ed. 2020 . , 2020

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

7

Computer Security – ESORICS 2020: 25th European Symposium o..

Security and Cryptology, 12308

Chen, Liqun ; Li, Ninghui ; Liang, Kaitai. - 1st ed. 2020 . , 2020

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

8

Legislation-driven development of a Gift Aid system using E..:

Williams, David M. ; Darwish, Salaheddin ; Schneider, Steve.
Formal Aspects of Computing. 32 (2020) 2-3 - p. 251-273 , 2020

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

9

Computer Security – ESORICS 2019: 24th European Symposium o..

Security and Cryptology, 11736

Sako, Kazue ; Schneider, Steve ; Ryan, Peter Y. A - 1st ed. 2019 . , 2019

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

10

Privacy-Preserving Electronic Ticket Scheme with Attribute-..:

Han, Jinguang ; Chen, Liqun ; Schneider, Steve..
IEEE Transactions on Dependable and Secure Computing. , 2019

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

11

Computer Security – ESORICS 2019: 24th European Symposium o..

Security and Cryptology, 11735

Sako, Kazue ; Schneider, Steve ; Ryan, Peter Y. A - 1st ed. 2019 . , 2019

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

12

Anonymous Single-Sign-On for n Designated Services with Tra..:

, In: Computer Security; Lecture Notes in Computer Science,

Han, Jinguang ; Chen, Liqun ; Schneider, Steve.. - p. 470-490 , 2018

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

13

Contributors:

, In: Computer and Information Security Handbook,

Amoroso, Edward G. ; Bardin, Jeffrey S. ; Basile, Cataldo... - p. xxvii-xxx , 2017

Link: https://doi.org/10.1016/..

14

A Vote of Confidence?:

Benaloh, Josh ; Ryan, Peter Y.A. ; Schneider, Steve.
IEEE Security & Privacy. 15 (2017) 3 - p. 12-13 , 2017

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

15

Foundations for using linear temporal logic in Event-B refi..:

Hoang, Thai Son ; Schneider, Steve ; Treharne, Helen.
Formal Aspects of Computing. 28 (2016) 6 - p. 909-935 , 2016

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