Hamlin, Ben
31  results:
Search for persons X
?
1

Towards a Formal Treatment of Logic Locking:

Beerel, Peter ; Georgiou, Marios ; Hamlin, Ben..
IACR Transactions on Cryptographic Hardware and Embedded Systems.  , 2022
 
?
2

Quantum Security of Hash Functions and Property-Preservatio..:

, In: Post-Quantum Cryptography; Lecture Notes in Computer Science,
Hamlin, Ben ; Song, Fang - p. 329-349 , 2019
 
?
3

ISIFT : extracting incremental results from SIFT:

, In: Proceedings of the 9th ACM Multimedia Systems Conference,
Hamlin, Ben ; Feng, Ryan ; Feng, Wu-chi - p. 195-203 , 2018
 
?
4

Measuring Preventable Outcomes: Global Cardiovascular Risk ..:

Hamlin, Ben
eGEMs (Generating Evidence & Methods to improve patient outcomes).  5 (2017)  2 - p. 8 , 2017
 
?
5

Towards a Formal Treatment of Logic Locking:

Beerel, Peter ; Georgiou, Marios ; Hamlin, Ben..
https://tches.iacr.org/index.php/TCHES/article/view/9482/9023.  , 2022
 
?
8

Towards a Formal Treatment of Logic Locking:

Peter Beerel ; Marios Georgiou ; Ben Hamlin..
https://tches.iacr.org/index.php/TCHES/article/view/9482.  , 2022
 
?
9

idoiagamiz/SCALE-MAMBA: v1.0.0:

NigelSmart ; Idoia Gamiz Ugarte ; Ben Hamlin..
https://github.com/idoiagamiz/SCALE-MAMBA/tree/v1.0.0.  , 2022
 
?
 
1-15