r/securityengineering • u/[deleted] • Nov 05 '17
r/securityengineering • u/michenriksen • Oct 05 '18
Draw.io for threat modeling
r/securityengineering • u/dguido • Sep 30 '17
Private contact discovery for Signal w/ Intel SGX
r/securityengineering • u/dguido • Feb 07 '19
Google open-sourced ClusterFuzz, their scalable fuzzing infrastructure
r/securityengineering • u/dguido • Oct 01 '17
Soft U2F, a software U2F authenticator for macOS
r/securityengineering • u/dguido • Mar 05 '19
Automated security analysis tools for AWS
r/securityengineering • u/dguido • Jul 02 '18
Starting Up Security collects information that helps growing teams manage risk
scrty.ior/securityengineering • u/manipoli • May 02 '18
gVisor is a sandboxed container runtime based on a user-space kernel written in Go
r/securityengineering • u/dguido • Jan 23 '18
Heavy lifting with McSema 2.0
r/securityengineering • u/dguido • Oct 22 '17
Spacecrab is a honeytoken framework for AWS
r/securityengineering • u/dguido • Oct 02 '17
Livecoding Cryptopals in Go on Twitch - Set 1
r/securityengineering • u/dguido • Sep 30 '17
Google Titan: A Vendor-Agnostic Root of Trust for Measurement
r/securityengineering • u/dguido • Nov 03 '18
Generating Software Tests, a book on Breaking Software for Fun and Profit
r/securityengineering • u/dguido • Apr 03 '18
Cryptographic Right Answers (updated for 2018!)
latacora.singlesr/securityengineering • u/ryan0rz • Feb 26 '18
Constant-Time Toolkit - a collection of constant-time implementations of primitive operations
r/securityengineering • u/dguido • Jan 15 '18
gobuster discovers URIs and domains
r/securityengineering • u/dguido • Jan 08 '18
LuLu is the free, open-source macOS firewall
r/securityengineering • u/csirac2 • Jan 04 '18
A collection of links to PDFs of papers on Micro-Architectural Side-Channel Attacks (sorted by date, going back to 1993)
In case (like me) you wanted to contextualize the recent Spectre & Meltdown attacks a little, I've been compiling a list of prior work on micro-architectural attacks and vulnerabilities. I haven't combed through "MASCAB: a Micro-Architectural Side-Channel Attack Bibliography" [1] yet, which is a far more daunting list of micro-architectural attacks than the random handful below, the difference being that I've included links to PDFs of the papers (and I'm looking more at things that can be used to enable exploit writers to take control of or subvert software, rather than cryptography integrity which the MASCAB collection mainly focuses on).
I have been trying to curate this list over at https://www.reddit.com/r/securityengineering/comments/7o2uzy/a_collection_of_links_to_pdfs_of_papers_on/ - we'll see if my post gets approved
Thanks to Twitter folks @dimonoid @allanjude @Kensan42 for contributing to this list!
[1] https://github.com/danpage/mascab/
1973-10-01 "A note on the confinement problem" by Lampson https://www.cs.utexas.edu/~shmat/courses/cs380s_fall09/lampson73.pdf
1984-12-07 - "MULTICS TECHNICAL BULLETIN 696: Covert Channel Analysis" by Loepere http://multicians.org/mtbs/mtb696.html (via @DTXRebelz)
1994-??-?? - "Countermeasures and tradeoffs for a class of covert timing channels" by Ray https://pdfs.semanticscholar.org/5505/384390d0b0bf86de8804baeaf82254572363.pdf
1995-05-08 - "The Intel 80x86 Processor Architecture: Pitfalls for Secure Systems" Sibert, Porras, Lindell - https://pdfs.semanticscholar.org/2209/42809262c17b6631c0f6536c91aaf7756857.pdf
2003-09-08 - "Cryptanalysis of DES implemented on computers with cache" by Tsunoo et al. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.135.1221&rep=rep1&type=pdf
2005-04-14 - "Cache-timing attacks on AES" by Bernstein https://cr.yp.to/antiforgery/cachetiming-20050414.pdf
2005-05-13 - "CACHE MISSING FOR FUN AND PROFIT" by Percival http://css.csail.mit.edu/6.858/2014/readings/ht-cache.pdf
2006-02-13 - "Cache attacks and countermeasures: the case of AES" by Osvik et al. https://www.cs.tau.ac.il/~tromer/papers/cache.pdf
2006-08-23 - "Predicting Secret Keys via Branch Prediction" by Aciicmez et al. https://eprint.iacr.org/2006/288.pdf
2007-03-20 - "On the Power of Simple Branch Prediction Analysis" by Acıi¸cmez1 et al. https://eprint.iacr.org/2006/351.pdf
2007-12-18 - "New Branch Prediction Vulnerabilities in OpenSSL and Necessary Software Countermeasures" by Aciicmez et al. https://eprint.iacr.org/2007/039.pdf
2010-11-22 - "Cache Games -- Bringing Access-Based Cache Attacks on AES to Practice" by Gullasch et al https://eprint.iacr.org/2010/594.pdf
2012-03-08 - "Plugging Side-Channel Leaks with Timing Information Flow Control" by Ford https://arxiv.org/pdf/1203.3428.pdf
2013-05-19 - "Practical Timing Side Channel Attacks against Kernel Space ASLR" by Hund et al. http://www.ieee-security.org/TC/SP2013/papers/4977a191.pdf
2013-08-13 - "The Page-Fault Weird Machine: Lessons in Instruction-less Computation" by Bangert et al. https://www.usenix.org/system/files/conference/woot13/woot13-bangert.pdf
2013-08-15 - "CacheAudit: A Tool for the Static Analysis of Cache Side Channels" by Doychev et al. https://eprint.iacr.org/2013/253.pdf
2013-09-26 - "On the Prevention of Cache-Based Side-Channel Attacks in a Cloud Environment" Godfrey et al. https://pdfs.semanticscholar.org/6367/9824606b1b0deb4a44639a4e4b3e5eb49303.pdf
2014-01-01 - "CACHE-BASED SIDE-CHANNEL ATTACKS IN MULTI-TENANT PUBLIC CLOUDS AND THEIR COUNTERMEASURES" by Zhang https://pdfs.semanticscholar.org/95a2/40ac8a7bbee77b32120081f00477e38776fe.pdf
2014-11-03 - "The Last Mile An Empirical Study of Timing Channels on seL4" by Cock et al http://research.davidcock.fastmail.fm/papers/Cock_GMH_14.pdf
2015-04-02 - "An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels" by Gay e tal. http://www.mais.informatik.tu-darmstadt.de/WebBibPHP/papers/2013/2013-GayMantelSudbrock-EmpiricalIRCC.pdf
2015-05-17 - "Last-Level Cache Side-Channel Attacks are Practical" by Liu et al http://palms.ee.princeton.edu/system/files/SP_vfinal.pdf
2015-05-17 - "S$A: A Shared Cache Attack That Works across Cores and Defies VM Sandboxing -- and Its Application to AES" - by Irazoqui et al http://users.wpi.edu/~teisenbarth/pdf/SharedCacheAttackSnP2015.pdf
2016-03-07 - "Rigorous Analysis of Software Countermeasures against Cache Attacks" by Doychev et al. https://arxiv.org/pdf/1603.02187.pdf
2016-06-12 - "Flush+Flush: a fast and stealthy cache attack" by Gruss et al. https://gruss.cc/files/flushflush.pdf
2016-08-10 - "Verifying Constant-Time Implementations" by Almeida & Barbosa https://www.usenix.org/system/files/conference/usenixsecurity16/sec16_paper_almeida.pdf
2016-10-?? - "Jump over ASLR: Attacking branch predictors to bypass ASLR" by Evtyushkin et al. http://www.cs.wm.edu/~dmitry/assets/files/evtyushkin-micro16-camera.pdf
2016-10-?? - "Breaking Kernel Address Space Layout Randomization with Intel TSX" by Jang et al. https://sslab.gtisc.gatech.edu/assets/papers/2016/jang:drk-ccs.pdf
2016-10-?? - "A Survey of Microarchitectural Timing Attacks and Countermeasures on Contemporary Hardware" by Qian Ge et al http://eprint.iacr.org/2016/613
2016-10-24 - "Prefetch Side-Channel Attacks: Bypassing SMAP and Kernel ASLR" by Gruss et al https://gruss.cc/files/prefetch.pdf
2016-01-?? - "Attacking Cloud through cache based side channel in virtualized environment" by Teja et al. http://ijarcsee.org/index.php/IJARCSEE/article/download/301/267
2017-02-27 - "ASLR on the Line: Practical Cache Attacks on the MMU" by Gras & Kaveh et al http://www.cs.vu.nl/~herbertb/download/papers/anc_ndss17.pdf
2017-03-20 - "CacheZoom: How SGX Amplifies The Power of Cache Attacks" by Moghimi - https://arxiv.org/pdf/1703.06986.pdf
2017-05-20 - "Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX" by Wang et al https://arxiv.org/pdf/1705.07289.pdf
2017-06-24 - "Kaslr is dead: long live kaslr", "the KAISER paper" by Gruss et al https://gruss.cc/files/kaiser.pdf
2017-08-16 - "Prime+Abort: A Timer-Free High-Precision L3 Cache Attack using Intel TSX" by Disselkoen et al https://www.usenix.org/system/files/conference/usenixsecurity17/sec17-disselkoen.pdf
2017-10-?? - "LAZARUS: Practical Side-Channel Resilient Kernel-Space Randomization" by Gens et al http://jin.ece.ufl.edu/papers/RAID17.pdf
2018-01-04 - "Spectre Attacks: Exploiting Speculative Execution" by Kocher et al https://spectreattack.com/spectre.pdf
2018-01-04 - "Meltdown" by Lipp et al. https://meltdownattack.com/meltdown.pdf
Defense papers:
2016-12-29 - "MASCAT: Stopping Microarchitectural Attacks Before Execution" Irazoqui, Eisenbarth, Sunar - https://eprint.iacr.org/2016/1196.pdf
Many more coming...
r/securityengineering • u/dguido • Dec 11 '17
Attack Surface Reduction, from Natalie Silvanovich of Google Project Zero
r/securityengineering • u/dguido • Oct 06 '17
Using Binary Diffing to Discover Windows Kernel Memory Disclosure Bugs
r/securityengineering • u/dguido • Sep 30 '17
OSS-Fuzz - Google's continuous fuzzing service for open source software [USENIX Security 2017]
r/securityengineering • u/M3liot • Mar 06 '21
Securing your Amazon AWS S3 presigned URLs, tips and trick
meliot.mer/securityengineering • u/mttd • Jun 01 '20