Benjamin Kiesl-Reiter

Citado por

	Total	Desde 2019
Citas	451	416
Índice h	12	11
Índice i10	15	15

140

105

2017201820192020202120222023202411 24 57 37 88 88 126 20

Acceso público

Ver todo

18 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Armin BiereProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Martina SeidlUniv.-Prof., JKU LinzDirección de correo verificada de jku.at
Hans TompitsAssociate Professor of Computer Science, Vienna University of TechnologyDirección de correo verificada de kr.tuwien.ac.at
Cas CremersCISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
Martin SudaCzech Technical University in PragueDirección de correo verificada de cvut.cz
Michael W WhalenAmazon, Inc. and the University of MinnesotaDirección de correo verificada de cs.umn.edu
Niklas MedingerCISPADirección de correo verificada de cispa.de
Matti JärvisaloProfessor, University of HelsinkiDirección de correo verificada de helsinki.fi
Jaiden FairozeUC BerkeleyDirección de correo verificada de berkeley.edu
Aurora NaskaCISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
Dominik P. SchreiberKarlsruhe Institute of TechnologyDirección de correo verificada de kit.edu
Md Solimul ChowdhuryCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Bruno DutertreAmazon Web ServicesDirección de correo verificada de amazon.com
Rupak MajumdarMPI for Software SystemsDirección de correo verificada de mpi-sws.org
Dirk NowotkaProfessor für Informatik, Christian-Albrechts-Universität zu KielDirección de correo verificada de zs.uni-kiel.de
Peter SchüllerSelf-EmployedDirección de correo verificada de peterschueller.com

Seguir

Benjamin Kiesl-Reiter

Otros nombresBenjamin Kiesl

Amazon Web Services

Dirección de correo verificada de amazon.de - Página principal

automated reasoning analysis of security protocols


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Short proofs without new variables MJH Heule, B Kiesl, A Biere Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017	51	2017
A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters C Cremers, B Kiesl, N Medinger 29th USENIX Security Symposium (USENIX Security 20), 1-17, 2020	42	2020
PRuning through satisfaction MJH Heule, B Kiesl, M Seidl, A Biere Haifa Verification Conference, 179-194, 2017	41	2017
Preprocessing in SAT Solving A Biere, M Järvisalo, B Kiesl Handbook of Satisfiability, 391-435, 2021	39	2021
Strong extension-free proof systems MJH Heule, B Kiesl, A Biere Journal of Automated Reasoning 64 (3), 533-554, 2020	39	2020
Extended resolution simulates DRAT B Kiesl, A Rebola-Pardo, MJH Heule International Joint Conference on Automated Reasoning, 516-531, 2018	38	2018
Encoding redundancy for satisfaction-driven clause learning MJH Heule, B Kiesl, A Biere International Conference on Tools and Algorithms for the Construction and …, 2019	29	2019
Super-blocked clauses B Kiesl, M Seidl, H Tompits, A Biere International Joint Conference on Automated Reasoning, 45-61, 2016	27	2016
Clone detection in secure messaging: improving post-compromise security in practice C Cremers, J Fairoze, B Kiesl, A Naska Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020	23	2020
Blocked clauses in first-order logic B Kiesl, M Suda, M Seidl, H Tompits, A Biere arXiv preprint arXiv:1702.00847, 2017	18	2017
A little blocked literal goes a long way B Kiesl, MJH Heule, M Seidl International Conference on Theory and Applications of Satisfiability …, 2017	15	2017
A unifying principle for clause elimination in first-order logic B Kiesl, M Suda Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017	15	2017
Clausal proofs of mutilated chessboards MJH Heule, B Kiesl, A Biere NASA Formal Methods Symposium, 204-210, 2019	11	2019
Local redundancy in SAT: generalizations of blocked clauses B Kiesl, M Seidl, H Tompits, A Biere Logical Methods in Computer Science 14, 2018	11	2018
Truth assignments as conditional autarkies B Kiesl, MJH Heule, A Biere Automated Technology for Verification and Analysis: 17th International …, 2019	10	2019
Simulating strong practical proof systems with extended resolution B Kiesl, A Rebola-Pardo, MJH Heule, A Biere Journal of Automated Reasoning 64 (7), 1247-1267, 2020	9	2020
QRAT polynomially simulates For-All-Exp-Res B Kiesl, M Seidl Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019	8*	2019
The Potential of Interference-Based Proof Systems. M Heule, B Kiesl ARCADE@ CADE, 51-54, 2017	8	2017
Blockedness in propositional logic: are you satisfied with your neighborhood? B Kiesl, M Seidl, H Tompits, A Biere IJCAI, 4884-4888, 2017	4	2017
Unsatisfiability proofs for distributed clause-sharing SAT solvers D Michaelson, D Schreiber, MJH Heule, B Kiesl-Reiter, MW Whalen International Conference on Tools and Algorithms for the Construction and …, 2023	3	2023

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores