PPaperPicks

Paul Montague

13 papers at tracked venues · 11 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ICLR ×2ICML ×2NeurIPS ×2S&P ×2ACSAC ×1ESORICS ×1USENIX Security ×1

Frequent coauthors

Tamas Abraham
×6
Andrew C. Cullen
×4
Sarah M. Erfani
×4
Benjamin I. P. Rubinstein
×4
Ehsan Abbasnejad
×3
Damith C. Ranasinghe
×3
Shijie Liu
×3
Seyit Camtepe
×3
Sean Lamont
×2
Christian Walder
×2
Amir Dezfouli
×2
Michael Norrish
×2

Papers

  1. Certified but Fooled! Breaking Certified Defenses with Ghost Certificates
    AAAI 2026 ·
    Viet Quoc Vo
    ,
    Tashreque Mohammed Haq
    , Paul Montague,
    Tamas Abraham
    ,
    Ehsan Abbasnejad
    ,
    Damith C. Ranasinghe
  2. 3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
    NeurIPS 2025 ·
    Sean Lamont
    ,
    Christian Walder
    ,
    Amir Dezfouli
    , Paul Montague,
    Michael Norrish
  3. Fantastic Targets for Concept Erasure in Diffusion Models and Where To Find Them
    ICLR 2025 ·
    Anh Tuan Bui
    ,
    Thuy-Trang Vu
    ,
    Long Tung Vuong
    ,
    Trung Le
    , Paul Montague,
    Tamas Abraham
    ,
    Junae Kim
    ,
    Dinh Phung
  4. Multi-level Certified Defense Against Poisoning Attacks in Offline Reinforcement Learning
    ICLR 2025 ·
    Shijie Liu
    ,
    Andrew Craig Cullen
    , Paul Montague,
    Sarah Monazam Erfani
    ,
    Benjamin I. P. Rubinstein
  5. Position: Certified Robustness Does Not (Yet) Imply Model Security
    ICML 2025 ·
    Andrew Craig Cullen
    , Paul Montague,
    Sarah Monazam Erfani
    ,
    Benjamin I. P. Rubinstein
  6. Slice+Slice Baby: Generating Last-Level Cache Eviction Sets in the Blink of an Eye
    S&P 2025 ·
    Bradley Morgan
    ,
    Gal Horowitz
    ,
    Sioli O'Connell
    ,
    Stephan van Schaik
    ,
    Chitchanok Chuengsatiansup
    ,
    Daniel Genkin
    ,
    Olaf Maennel
    , Paul Montague,
    Eyal Ronen
    ,
    Yuval Yarom
  7. BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
    AAAI 2024 ·
    Sean Lamont
    ,
    Michael Norrish
    ,
    Amir Dezfouli
    ,
    Christian Walder
    , Paul Montague
  8. Bayesian Learned Models Can Detect Adversarial Malware for Free
    ESORICS 2024 ·
    Bao Gia Doan
    ,
    Dang Quang Nguyen
    , Paul Montague,
    Tamas Abraham
    ,
    Olivier Y. de Vel
    ,
    Seyit Camtepe
    ,
    Salil S. Kanhere
    ,
    Ehsan Abbasnejad
    ,
    Damith C. Ranasinghe
  9. EaTVul: ChatGPT-based Evasion Attack Against Software Vulnerability Detection
    USENIX Security 2024 ·
    Shigang Liu
    ,
    Di Cao
    ,
    Junae Kim
    ,
    Tamas Abraham
    , Paul Montague,
    Seyit Camtepe
    ,
    Jun Zhang
    ,
    Yang Xiang
  10. Erasing Undesirable Concepts in Diffusion Models with Adversarial Preservation
    NeurIPS 2024 ·
    Anh Bui
    ,
    Tung-Long Vuong
    ,
    Khanh Doan
    ,
    Trung Le
    , Paul Montague,
    Tamas Abraham
    ,
    Dinh Q. Phung
  11. Et Tu Certifications: Robustness Certificates Yield Better Adversarial Examples
    ICML 2024 ·
    Andrew C. Cullen
    ,
    Shijie Liu
    , Paul Montague,
    Sarah Monazam Erfani
    ,
    Benjamin I. P. Rubinstein
  12. It's Simplex! Disaggregating Measures to Improve Certified Robustness
    S&P 2024 ·
    Andrew C. Cullen
    , Paul Montague,
    Shijie Liu
    ,
    Sarah M. Erfani
    ,
    Benjamin I. P. Rubinstein
  13. On the Credibility of Backdoor Attacks Against Object Detectors in the Physical World
    ACSAC 2024 ·
    Bao Gia Doan
    ,
    Dang Quang Nguyen
    ,
    Callum Lindquist
    , Paul Montague,
    Tamas Abraham
    ,
    Olivier Y. de Vel
    ,
    Seyit Camtepe
    ,
    Salil S. Kanhere
    ,
    Ehsan Abbasnejad
    ,
    Damith C. Ranasinghe