| 1. | | The foundations of a provably secure operating system (PSOS) (1979) [pdf] (sri.com) |
| 130 points by rurban 5 months ago | past | 92 comments |
|
| 2. | | TerraVision: A Terrain Visualization System (1994) [pdf] (sri.com) |
| 1 point by yubblegum on Oct 19, 2025 | past |
|
| 3. | | Reliability Issues from Computer Date and Time Problems (sri.com) |
| 1 point by thunderbong on Jan 13, 2025 | past |
|
| 4. | | SRI’s radioactive contamination treatment is now in its first-in-human trial (sri.com) |
| 67 points by zdw on May 25, 2023 | past | 23 comments |
|
| 5. | | SRI researchers seek to produce food with just air water and electricity (sri.com) |
| 2 points by nothrowaways on April 25, 2023 | past |
|
| 6. | | Palo Alto Research Center (PARC) to join SRI International (sri.com) |
| 257 points by sonoffett on April 24, 2023 | past | 118 comments |
|
| 7. | | An Analysis of Conficker (2009) (sri.com) |
| 13 points by hyperific on Jan 30, 2023 | past | 2 comments |
|
| 8. | | Trimmer: Context-Specific Code Reduction [pdf] (sri.com) |
| 3 points by ingve on Oct 3, 2022 | past |
|
| 9. | | Structured Evidential Argumentation System (sri.com) |
| 1 point by tosh on July 22, 2020 | past |
|
| 10. | | Pathway logic: modeling biological entities and processes (sri.com) |
| 3 points by harperlee on April 6, 2020 | past |
|
| 11. | | Timeline for Logic, λ-Calculus, and Programming Language Theory (2012) [pdf] (sri.com) |
| 200 points by adamnemecek on Sept 2, 2019 | past | 34 comments |
|
| 12. | | Timeline for Logic, λ-Calculus, and Programming Language Theory [pdf] (sri.com) |
| 2 points by adamnemecek on Aug 30, 2019 | past |
|
| 13. | | Design and Verification of Secure Systems (sri.com) |
| 2 points by octosphere on Jan 6, 2019 | past |
|
| 14. | | TRIMMER: Application Specialization for Code Debloating [pdf] (sri.com) |
| 1 point by mpweiher on Aug 7, 2018 | past |
|
| 15. | | TRIMMER: Application Specialization for Code Debloating [pdf] (sri.com) |
| 1 point by BerislavLopac on Aug 6, 2018 | past |
|
| 16. | | TRIMMER: Application Specialization for Code Debloating [pdf] (sri.com) |
| 1 point by ingve on Aug 1, 2018 | past |
|
| 17. | | Use of the Hough transformation to detect lines and curves in pictures (1971) [pdf] (sri.com) |
| 4 points by whatsoever on March 19, 2016 | past |
|
| 18. | | Summer School on Formal Techniques (sri.com) |
| 1 point by vinchuco on June 28, 2015 | past |
|
| 19. | | The Yices SMT Solver (sri.com) |
| 1 point by luu on June 20, 2014 | past |
|
| 20. | | TCP/IP 40th Anniversary Multi-Generational Picnic (sri.com) |
| 2 points by promocha on May 6, 2014 | past |
|
| 21. | | Magnetically controlled swarms of micro-robots (sri.com) |
| 3 points by netrc on April 22, 2014 | past | 1 comment |
|
| 22. | | Engelbart and the Dawn of Interactive Computing: 40th Anniversary Celebration (sri.com) |
| 1 point by gruseom on July 5, 2013 | past | 1 comment |
|
| 23. | | Peter G. Neumann's RISKS forum (sri.com) |
| 2 points by niels_olson on Oct 30, 2012 | past |
|
| 24. | | Cognitive Assistant that Learns and Organizes (sri.com) |
| 3 points by hack_rohan on Nov 5, 2010 | past | 1 comment |
|
| 25. | | Happy Birthday ARPANET - 1st msg sent Oct 29 1969 (sri.com) |
| 46 points by jedwhite on Oct 29, 2010 | past | 13 comments |
|
| 26. | | An Analysis of the iKeeB (duh) iPhone Botnet (sri.com) |
| 2 points by r11t on Jan 6, 2010 | past |
|
| 27. | | An Analysis of the iKeeB (duh) iPhone botnet (sri.com) |
| 7 points by bensummers on Dec 21, 2009 | past | 1 comment |
|
| 28. | | Practical composability for trustworthy architectures (sri.com) |
| 1 point by morpheism on Oct 31, 2009 | past |
|
| 29. | | Overview of Confiker Variant C, the post-April 1st Virus (sri.com) |
| 3 points by tdonia on March 31, 2009 | past | 2 comments |
|
| 30. | | An Analysis of Conficker (sri.com) |
| 6 points by trop on March 20, 2009 | past |
|
|
| More |
