Wellcome to Sergey Kirgizov's library,
You can find here all papers liked or uploaded by Sergey Kirgizovtogether with brief user bio and description of her/his academic activity.
Sergey's personsal site : http://kirgizov.link.
Sergey's personsal site : http://kirgizov.link.
Comments:
How software verification paradigm deals with Thompson hack?
Russ Cox actually run it!
Running the “Reflections on Trusting Trust” Compiler