Login / Signup
Marios Georgiou
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Predicate Logic
Expert Systems
Formal Treatment
Concurrency Control
Top Venues
IACR Trans. Cryptogr. Hardw. Embed. Syst.
</>
Publications
</>
Peter A. Beerel
,
Marios Georgiou
,
Ben Hamlin
,
Alex J. Malozemoff
,
Pierluigi Nuzzo
Towards a Formal Treatment of Logic Locking.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
2022 (2) (2022)