Link of useful links
Lists of security conferences:
Some academic journals specializing in computer security:
- ACM Transactions on Information and System Security
- IEEE Transactions on Dependable and Secure Computing
- IEEE Security & Privacy
- Computer Society
- IET - Information Security
- International Journal of Information Security
- Journal of Cryptology
- Elsevier - Computer Fraud & Security
- Elsevier - Computer Fraud & Security Bulletin
- Elsevier - Computer Law & Security Report
- Elsevier - Computers & Security
- Elsevier - Information Security Technical Report
- Elsevier - Network Security
- Journal of Privacy Technology
- Journal of Computer Security
- Journal of Network and Systems Management
Publications/Papers/Lectures by (mainly) security researchers:
- Jonathon T. Giffin
- Somesh Jha: Security related publications
- Prof. Barton P. Miller's Publications
- Giovanni Vigna - Publications
- David Wagner's technical work
- Alex Aiken - Publications
- Experimental Computer Systems Lab: Technical Reports
- Publications in Debugging, Verification, Program Assertions
- Sam King
- Kevin Borders
- David Wagner's technical work
- Tal Garfinkel's technical work
- Security Lab at Stony Brook: papers
- Publications of MCC Project
- CLIP Group Publications by Topic
- George Necula's Papers
- Francesco Logozzo
- Peter Chen's Publications
- Nick L. Petroni
- About Virtualization Technologies
- Philip Chan: Related Work in Intrusion Detection
- Anil Somayaji's Publications
- Stephanie Forrest - Publications - Immune System Applications & Computer Security
- Joanna Rutkowska
- Dino A. Dai Zovi
- Silvio Cesare
- Early Computer Security Papers: Seminal Papers
- Peter Gutmann's Home Page
- Smith, James E.
- Partha Dasgupta
- IBM Research | Secure Hypervisor
- Mihai Christodorescu's Publications
- 21st Century COE - Next Generation Media and Intelligent Social Infrastructure
- Publications - Cybersecurity and Systems Management Group
- Mulix - Lectures
- Crispin Cowan's Home Page
- Leendert van Doorn
- Michael E. Locasto Research
- Secure Network File Systems
- Gene Spafford's Personal Pages: Selected Publications
- Steven D. Gribble: all papers
- Homepage of Peter Ferrie
- Publications Zhedong Su
- Antoine Miné' Web Site
- Cheeta' Home Page
- Lista delle pubblicazioni di Stefano Zanero
- Bruno Crispo
- Herbert Bos (publications)
Security projects:
- WiSA: Wisconsin Safety Analyzer
- SLAM Project
- StInG: Stanford Invariant Generator
- Program-semantics Aware Intrusion Detection
- Janus
- MOPS
- InterSect Alliance - Open Source
- Model Carrying Code
- The Ciao Prolog Development System WWW Site
- Deputy
- pH: process Homeostasis
- FATKit: The Forensic Analysis ToolKit
- SourceForge.net: aide
- Samhain Labs | samhain
- Pioneer
- The Metasploit Project
- Dwarf Home
- DA's DWARF Page
- SEC - open source and platform independent event correlation tool
- RTL-Check
- The Daikon dynamic invariant detector
- Computer Immune Systems - Data Sets and Software
- Pandora FMS - the Free Monitoring System
- Plash: tools for least privilege
- SourceForge.net: aide
- SourceForge.net: airt-linux
- Osiris | Host Integrity Monitoring
- InterSect Alliance - Open Source - Snare
- SWATCH: The Simple WATCHer of Logfiles
- DFN-CERT: Logsurfer Homepage
- Software Archive: xtail
- AppArmor Linux Application Security
- SourceForge.net: Saint Jude
- syscalltrack
- Rootkit Hunter
- RATS - Rough Auditing Tool for Security
- The Strider GhostBuster Project
- Project ifchk: Host Based Promiscuous Mode Detection and Handling
- Splint Home Page
- Clam AntiVirus
- Dwarf Home
- SourceForge.net: IPsec Tools
- freshmeat.net: Project details for LibSysCTr
- The Forensix Project
- SAFE Code
- bluepillproject.org
- Integrity Measurement Architecture (IMA)
- NetLabel - Explicit labeled networking for Linux
- Enforcer Homepage
- The ERESI Reverse Engineering Software Interface
- SourceForge.net: Execution Flow Control
- The BANE Home Page
- STeP-E: The Stanford Temporal Prover (Educational version)
- Snare - InterSect Alliance
- freshmeat.net: Project details for ncc
- MTC (Models and Theory of Computation): BLAST Project
- Codeviz
- Ksplice: Rebootless Linux kernel security updates
- Sleuth Kit
