Aleksandr Karbyshev

ORCID

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 8

Top Venues

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal
Compositional Non-interference for Concurrent Programs via Separation and Framing. POST (2018)
Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub
Computer-aided proofs for multiparty computation with active security. IACR Cryptol. ePrint Arch. 2018 (2018)
Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub
Computer-Aided Proofs for Multiparty Computation with Active Security. CSF (2018)
Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub
Computer-aided proofs for multiparty computation with active security. CoRR (2018)
Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Property-Directed Inference of Universal Invariants or Proving Their Absence. J. ACM 64 (1) (2017)
Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv
Decidability of inferring inductive invariants. POPL (2016)
Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv, Sharon Shoham
Decentralizing SDN Policies. POPL (2015)
Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Property-Directed Inference of Universal Invariants or Proving Their Absence. CAV (1) (2015)
Thomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky
VeriCon: towards verifying controller programs in software-defined networks. PLDI (2014)
Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev
On Monadic Parametricity of Second-Order Functionals. FoSSaCS (2013)
Aleksandr Karbyshev
Verified Generic Local Fixpoint Algorithms. AlgoSyn (2010)
Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl
Verifying a Local Generic Solver in Coq. SAS (2010)
Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl
What Is a Pure Functional? ICALP (2) (2010)

Aleksandr Karbyshev.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aleksandr Karbyshev