Kostas Ferles

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 18

Top Topics

Security Analysis

Symbolic Reasoning

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

ESEC/SIGSOFT FSE

Publications

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