| 2016 | FOSSACS | A Theory of Slicing for Probabilistic Control Flow Graphs. | Torben Amtoft, Anindya Banerjee |
| 2010 | ESOP | Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. | Torben Amtoft, John Hatcliff, Edwin Rodrguez |
| 2008 | FM | Specification and Checking of Software Contracts for Conditional Information Flow. | Torben Amtoft, John Hatcliff, Edwin Rodrguez, Robby, Jonathan Hoag, David A. Greve |
| 2008 | GPCE | From generic to specific: off-line optimization for a general constraint solver. | Ye Zhang, Torben Amtoft, Flemming Nielson |
| 2007 | CCS | Verification condition generation for conditional information flow. | Torben Amtoft, Anindya Banerjee |
| 2006 | POPL | A logic for information flow in object-oriented programs. | Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee |
| 2005 | ESOP | A New Foundation for Control-Dependence and Slicing for Modern Program Structures. | Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff |
| 2004 | SAS | Information Flow Analysis in Logical Form. | Torben Amtoft, Anindya Banerjee |
| 2001 | ESOP | What Are Polymorphically-Typed Ambients? | Torben Amtoft, A. J. Kfoury, Santiago M. Perics-Geertsen |
| 2000 | ESOP | Faithful Translations between Polyvariant Flows and Polymorphic Types. | Torben Amtoft, Franklyn A. Turbak |
| 1998 | FASE | Behaviour Analysis and Safety Conditions: A Case Study in CML. | Hanne Riis Nielson, Torben Amtoft, Flemming Nielson |
| 1994 | ESOP | Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. | Torben Amtoft |
| 1993 | SAS | Minimal Thunkification. | Torben Amtoft |