Wellcome to Sergey Kirgizov's library,

  You can find here all papers liked or uploaded by Sergey Kirgizov
  together with brief user bio and description of her/his academic activity.


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](https://research.swtch.com/nih)
Read the paper, add your comments…

Comments:

[Their comment](https://onlinelibrary.wiley.com/doi/10.1111/meta.12600)
Read the paper, add your comments…

Comments:

Read the paper, add your comments…
Pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16