Benjamin Selfridge

According to our database, Benjamin Selfridge authored at least 5 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

BASALISC: Programmable Hardware Accelerator for BGV Fully Homomorphic Encryption.

Robin Geelen, Michiel Van Beirendonck, Hilder V. L. Pereira, Brian Huffman, Tynan McAuley, Ben Selfridge, Daniel Wagner, Georgios D. Dimou, Ingrid Verbauwhede, Frederik Vercauteren, David W. Archer

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

2022

BASALISC: Flexible Asynchronous Hardware Accelerator for Fully Homomorphic Encryption.

Robin Geelen, Michiel Van Beirendonck, Hilder V. L. Pereira, Brian Huffman, Tynan McAuley, Ben Selfridge, Daniel Wagner, Georgios D. Dimou, Ingrid Verbauwhede, Frederik Vercauteren, David W. Archer

IACR Cryptol. ePrint Arch., 2022

2016

Formal verification of division and square root implementations, an Oracle report.

David L. Rager, Jo C. Ebergen, Dmitry Nadezhin, Austin Lee, Cuong Kim Chau, Ben Selfridge

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2014

Polymorphic Types in ACL2.

Benjamin Selfridge, Eric Smith

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

An ACL2 Mechanization of an Axiomatic Framework for Weak Memory.

Benjamin Selfridge

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014