Mikhail Kovalev

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Buffer Overflow

High Availability

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Geng Chen, Ernie Cohen, Mikhail Kovalev
Store Buffer Reduction with MMUs. VSTTE (2014)
Eyad Alkassar, Ernie Cohen, Mikhail Kovalev, Wolfgang J. Paul
Verification of TLB Virtualization Implemented in C. VSTTE (2012)
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul
Verifying shadow page table algorithms. FMCAD (2010)