Levent Erkök

Hardware/software co-verification of cryptographic algorithms using Cryptol

Magnus Carlsson, Adam Wick, Levent Erkök, 2009, 2009 Formal Methods in Computer-Aided Design.

Digit Serial Methods with Applications to Division and Square Root

Warren E. Ferguson, Jesse D. Bingham, John R. Harrison, 2017, IEEE Transactions on Computers.

High assurance programming in Cryptol

John Matthews, Levent Erkök, John Matthews, 2009, CSIIRW '09.

Semantics of value recursion for Monadic Input/Output

Andrew Moran, John Launchbury, Levent Erkök, 2002, RAIRO Theor. Informatics Appl..

Pragmatic equivalence and safety checking in Cryptol

John Matthews, Levent Erkök, 2009, PLPV '09.

Practical Considerations in Control-Flow Integrity Monitoring

Lee Pike, Iavor S. Diatchki, Levent Erkök, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

Recursive monadic bindings

John Launchbury, Levent Erkök, 2000, ICFP '00.

Semantics of fixIO

Andrew Moran, John Launchbury, Levent Erkök, 2001 .

Using Yices as an automated solver in Isabelle / HOL

John Matthews, Levent Erkök, 2008 .

Formalizing Information Flow in a Haskell Hypervisor

Levent Erkök, Rebekah Leslie, Levent Erkök, 2007 .