Kostas Ferles

18 papers A* 3B 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2024 A* conf
Practical Security Analysis of Zero-Knowledge Proof Circuits.
USENIX Security Symposium
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
2024 — conf
Split Gröbner Bases for Satisfiability Modulo Finite Fields.
CAV (1)
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
2024 J jnl
Split Gröbner Bases for Satisfiability Modulo Finite Fields.
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
2023 J jnl
Practical Security Analysis of Zero-Knowledge Proof Circuits.
IACR Cryptol. ePrint Arch.
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
2022 J jnl
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version).
CoRR
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
2022 J jnl
Synthesizing fine-grained synchronization protocols for implicit monitors.
Proc. ACM Program. Lang.
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
2021 A* conf
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts.
SP
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig
2021 J jnl
Verifying correct usage of context-free API protocols.
Proc. ACM Program. Lang.
Kostas Ferles, Jon Stephens, Isil Dillig
2020 J jnl
Symbolic Reasoning for Automatic Signal Placement.
ACM SIGOPS Oper. Syst. Rev.
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2020 J jnl
Verifying Correct Usage of Context-Free API Protocols (Extended Version).
CoRR
Kostas Ferles, Jon Stephens, Isil Dillig
2019 — conf
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
VSTTE
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
2018 B conf
An efficient data structure for must-alias analysis.
CC
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis
2018 — conf
Singularity: pattern fuzzing for worst case complexity.
ESEC/SIGSOFT FSE
Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig
2018 J jnl
Symbolic Reasoning for Automatic Signal Placement (Extended Version).
CoRR
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2018 A* conf
Symbolic reasoning for automatic signal placement.
PLDI
Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis
2017 — conf
A Datalog model of must-alias analysis.
SOAP@PLDI
George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis
2017 J jnl
Failure-Directed Program Trimming (Extended Version).
CoRR
Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig
2017 — conf
Failure-directed program trimming.
ESEC/SIGSOFT FSE
Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig