Levent Erkök

 
Contact Address
 
 Levent Erkök
 
 Intel Corporation
 2501 NW 229th Ave
 Hillsboro, OR 97124

 E-mail: erkokl at gmail.com
 

Curriculum Vitae 

Software

My GitHub page is located at: http://github.com/LeventErkok

Publications

  • Iavor Diatchi, Lee Pike, Levent Erkök
    Practical Considerations in Control-Flow Integrity Monitoring
    In Second International Workshop on Security Testing Workshop, SECTEST'11, Berlin, Germany, March 2011, IEEE.
    [pdf] [bib]
  • Levent Erkök, Magnus Carlsson, Adam Wick
    Hardware/Software Co-verification of Cryptographic Algorithms using Cryptol
    In Formal Methods in Computer Aided Design Conference, FMCAD'09, Austin, TX, November 2009, IEEE.
    [pdf] [bib] [slides] [Cryptol]
  • Levent Erkök, John Matthews
    High assurance  programming in Cryptol
    In CSIIRW'09: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research, Oak Ridge, TN, April 2009, ACM.
    [pdf] [bib] [Cryptol]
  • Levent Erkök, John Matthews
    Pragmatic Equivalence and Safety Checking in Cryptol
    In Programming Languages meets Program Verification Workshop, PLPV'09. Savannah, Georgia, USA. January, 2009.
    [pdf] [bib] [slides] [Cryptol
  • Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews
    Imperative Functional Programming with Isabelle/HOL
    Proc. of 2008 Theorem Proving and Higher Order Logics Conference, TPHOLS'08. Montreal, Canada. August, 2008.
    [pdf] [bib
  • Levent Erkök, John Matthews
    Using Yices as an automated solver in Isabelle/HOL
    Automated Formal Methods'08, Princeton, New Jersey, USA. July, 2008.
    [pdf] [bib] [slides] [software]
  • Rebekah Leslie, Levent Erkök, Flemming Andersen
    Formalizing Information Flow in a Haskell Hypervisor
    Microkernels and Embedded Systems Workshop, MIKES'07. Sydney, Australia. January, 2007.
    [pdf] [bib]
  • Levent Erkök
    Application of formal methods in factory automation to reduce configuration-induced misprocessing risks
    International Sematech APC/AEC Symposium XVI, Poster Session, September 2004.
    [pdf[bib
  • Levent Erkök
    Formal verification of controller transactions using Computation Tree Logic
    Intel Design and Test Technology Conference, DTTC'04, August 2004.
    [not electronically available] [bib]
  • Levent Erkök
    Value Recursion in Monadic Computations
    PhD Dissertation, Oregon Graduate Institute School of Science Engineering, OHSU. October 2002.
    [pdf] [bib] [errata] [slides]
  • Levent Erkök, John Launchbury
    A Recursive do for Haskell
    Proc. of 2002 ACM SIGPLAN Workshop on Haskell, Haskell'02 (Pittsburgh, PA, USA, 3 Oct. 2002), pp. 29-37, ACM Press, 2002.
    [pdf] [bib]  
  • Levent Erkök, John Launchbury, Andrew Moran
    Semantics of Value Recursion for Monadic Input/Output

    Theoretical Informatics and Applications, 36(2), pp. 155-180, 2002.
    [pdf] [bib]
  • Levent Erkök, John Launchbury, Andrew Moran
    Semantics of fixIO
    Workshop on Fixed points in Computer Science Workshop, FICS'01. Firenze, Italy. September, 2001.
    [pdf] [bib]
  • Levent Erkök, John Launchbury
    Recursive Monadic Bindings
    Proc. of 5th ACM SIGPLAN Int. Conf. on Functional Programming, ICFP'00 (Montréal, Canada, 18–21 Sept. 2000), pp. 174-185, ACM Press, 2000.
    [pdf] [bib]
    • Levent Erkök, John Launchbury
      A Recursive do for Haskell: Design and Implementation
      Technical Report CSE-00-14, Oregon Graduate Institute Of Science and Technology, August 2000.
      [pdf] [bib]
      • Levent Erkök, John Launchbury
        Recursive Monadic Bindings: Technical Development and Details
        Technical Report CSE-00-11, Oregon Graduate Institute Of Science and Technology, June 2000.
        [pdf] [bib]
      • Levent Erkök
        A partial evaluator and post-optimizer for a flow chart language
        M.Sc. Thesis, Middle East Technical University, Ankara, Turkey. July 1997.
        [pdf] [bib]
        • Osman Burchan Bayazıt, Levent Erkök, Okan Uludağ, Fatoş Yarman Vural
          Gray Level Texture Generation by Binary Markov Random Field Model with Morphological Operations
          Technical Report 95-10, Middle East Technical University Computer Engineering Department, July 1995.

          [pdf] [bib