| 8Aug 08 2008 | Localizing Program Errors for Cimple Debugging | paper | |
| 8Aug 02 2008 | FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs | paper | |
| 7July 28 2008 | Securing Web Applications with Static and Dynamic Information Flow Tracking | paper | |
| 7July 22 2008 | Symbolic Model Checking without BDDs | paper | summary |
| 7July 22 2008 | Symbolic Model checking using SAT procedures instead of BDDs | paper | summary |
| Chaff: Engineering an Efficient SAT solver | paper | summary |
| ANSI-C bounded model checker user manual | manual | summary |
| 7July 21 2008 | Cheddar: a Flexible Real Time Scheduling Framework | paper | website |
| 7July 19 2008 | Verifying Web Applications Using Bounded Model Checking (revisited) | see earlier | summary |
| 7July 18 2008 | XSS attacks on the web | | list of sites |
| 7July 17 2008 | Third wave of SQL injection attacks | paper | summary |
| 7July 16 2008 | SQL Encryption | paper | summary |
| 7July 14 2008 | Verifying Web Applications Using Bounded Model Checking | paper | summary |
| 7July 13 2008 | Preventing Injection Attack with Syntax Embeddings | paper | summary |
| 7July 12 2008 | Second Order attack | paper | summary |
| 7July 09 2008 | Using Parse Tree Validation to Prevent SQL Injection Attacks | paper | summary |
| 7July 09 2008 | list of rescources on advanced SQL injection | | list |
| 7July 09 2008 | Advanced SQL Injection In SQL Server Applications | paper | summary |
| 7July 08 2008 | The Essence of Command Injection Attacks in Web Applications | paper | summary |
| 7July 03 2008 | Eliminating SQL Injection Attacks -A Transparent Defense Mechanism | paper | summary |
| 7July 01 2008 | AMNESIA: Analysis and Monitoring for NEutralizing SQL Injection Attacks | paper | summary |
| 7July 01 2008 | Preventing SQL Injection Attacks in Stored Procedures | paper | summary |
| 7July 01 2008 | Practical Dynamic Taint Analysis for Countering Input Validation Attacks on Web Applications | paper | summary |
| 7July 01 2008 | SQLrand: Preventing SQL Injection Attacks | paper | summary |
| 6June 2008 | Application Layer Intrusion Detection for SQL Injection | paper | summary |
| 6June 26 2008 | Using Parse Tree Validation to Prevent SQL Injection Attacks | paper | summary |
| 6June 24 2008 | Incremental Model Checking in the modal Mu-Calculus | paper | summary |
| 6June 03 2008 | AADL modeling and analysis of hierarchical schedulers | paper | summary |
| 6June 02 2008 | On the Parallel Complexity of Model Checking in the Modal Mu-calculus | paper | summary |
| 6June 02 2008 | Model Checking and Transitive-Closure Logic | paper | summary |
| 6June 02 2008 | From CTL to Datalog | paper | summary |