| 2025 | ACL | The TIP of the Iceberg: Revealing a Hidden Class of Task-in-Prompt Adversarial Attacks on LLMs. | Sergey Berezin, Reza Farahbakhsh, Nol Crespi |
| 2023 | EMNLP | No offence, Bert - I insult only humans! Multilingual sentence-level attack on toxicity detection networks. | Sergey Berezin, Reza Farahbakhsh, Nol Crespi |
| 2022 | COLING | Named Entity Inclusion in Abstractive Text Summarization. | Sergey Berezin, Tatiana Batura |
| 2017 | VMCAI | Bringing LTL Model Checking to Biologists. | Zara Ahmed, David Benqu, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov |
| 2006 | FMCAD | A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. | Husam Abu-Haimed, David L. Dill, Sergey Berezin |
| 2004 | CAV | CVC Lite: A New Implementation of the Cooperating Validity Checker Category B. | Clark W. Barrett, Sergey Berezin |
| 2004 | CAV | Using Interface Refinement to Integrate Formal Verification into the Design Cycle. | Jacob Chang, Sergey Berezin, David L. Dill |
| 2003 | CAV | Strengthening Invariants by Symbolic Consistency Testing. | Husam Abu-Haimed, Sergey Berezin, David L. Dill |
| 2003 | TACAS | An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic. | Sergey Berezin, Vijay Ganesh, David L. Dill |
| 2002 | FMCAD | Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods. | Vijay Ganesh, Sergey Berezin, David L. Dill |
| 2001 | TACAS | Incremental Verification by Abstraction. | Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre |
| 1998 | FMCAD | Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification. | Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu |
| 1998 | TABLEAUX | Model Checking: Historical Perspective and Example (Extended Abstract). | Edmund M. Clarke, Sergey Berezin |
| 1994 | LFCS | An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus. | Sergey Berezin, Nikolay V. Shilov |