alakrit

6 ms·

1. 1.▲
   by alakrit 7y ago

   related: https://www.economist.com/briefing/2020/01/02/the-new-red-sc...
2. 2.▲
   Second CIA Contractor Testifies in 9/11 Case at Guantanamo(nytimes.com)

   4 points by alakrit 7y ago|0 comments
3. 3.▲
   by alakrit 7y ago

   If you like the archetypal, tragical, allegorical narratives which derive the inspiration from ancient or religious cultures, then I advise you to watch "Teorema" by Pier Paolo Pasolini. In fact, italian art cinema school was very
4. 4.▲
   by alakrit 7y ago

   List of recently released Intel security updates (including this one): https://www.us-cert.gov/ncas/current-activity/2020/01/14/int...
5. 5.▲
   The Art, Science, and Engineering of Fuzzing: A Survey (2018)(arxiv.org)

   1 points by alakrit 7y ago|0 comments
6. 6.▲
   by alakrit 7y ago

   You could go further. There are a lot of bugs in provers like Coq themselves for which developers create their own proofs of correctness [1]. More precisely: the paper which is linked implements a type checker for the core language of Coq w
7. 7.▲
   by alakrit 7y ago

   If you mean the relationship between NSA and the vulnerability, then no, there actually is: it was NSA who discovered the vulnerability and it has not been used in the wild (according to NSA themselves; source: https://twitter.co
8. 8.▲
   Leaking Information Through Cache LRU States(arxiv.org)

   1 points by alakrit 7y ago|0 comments