Sergey Berezin

Athena: a novel approach to efficient automatic security protocol analysis1

Dawn Song, Sergey Berezin, Adrian Perrig · Journal of Computer Security · 2001 · 209 citations

Computing, Computer Science, Cybersecurity +17

Model checking and theorem proving: a unified framework

Sergey Berezin, Edmund M. Clarke · 2002 · 33 citations

Computing, Computer Science, Formal Methods +14

A Practical Approach to Partial Functions in CVC Lite

Sergey Berezin, Clark Barrett, Igor Shikanian et al. · Electronic Notes in Theoretical Computer Science · 2005 · 29 citations · Full text

Computing, Computer Science, Mathematics +7

Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function

Sergey Berezin, Edmund M. Clarke, Armin Biere et al. · Formal Methods in System Design · 2002 · 20 citations

Engineering, Computer Engineering, Computer Science +11

Universal, easy access to geotemporal information: FetchClimate

Dmitry A. Grechka, Sergey Berezin, Stephen Emmott et al. · Ecography · 2016 · 20 citations · Full text

Natural Sciences, Earth Sciences, Geoinformatics +11