引用次数
引用: 343
H-指数: 8
I10-指数 : 7
出版物: 15
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
Isil Dillig , Shuvendu Lahiri , Kostas Ferles , Benjamin Mariano
ieee symposium on security and privacy
1
2021
An efficient data structure for must-alias analysis
George Kastrinis , George Balatsouras , Kostas Ferles , Nefeli Prokopaki-Kostopoulou
compiler construction 48 -58
3
2018
Symbolic Reasoning for Automatic Signal Placement
Kostas Ferles , Jacob Van Geffen , Isil Dillig , Yannis Smaragdakis
Operating Systems Review 54 ( 1) 64 -76
2020
A Datalog model of must-alias analysis
George Balatsouras , Kostas Ferles , George Kastrinis , Yannis Smaragdakis
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis 7 -12
4
2017
Failure-directed program trimming
Kostas Ferles , Valentin Wüstholz , Maria Christakis , Isil Dillig
foundations of software engineering 174 -185
12
2017
Verifying correct usage of context-free API protocols
Kostas Ferles , Jon Stephens , Isil Dillig
symposium on principles of programming languages 5 1 -30
2021
Singularity: pattern fuzzing for worst case complexity
Jiayi Wei , Jia Chen , Yu Feng , Kostas Ferles
foundations of software engineering 213 -223
13
2018
Formal verification of workflow policies for smart contracts in azure blockchain
Yuepeng Wang , Shuvendu K Lahiri , Shuo Chen , Rong Pan
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers 11 87 -106
74
2020
Practical Security Analysis of Zero-Knowledge Proof Circuits.
Hongbo Wen , Jon Stephens , Yanju Chen , Kostas Ferles
IACR Cryptol. ePrint Arch. 2023 190 -190
7
2023
Symbolic reasoning for automatic signal placement
Kostas Ferles , Jacob Van Geffen , Isil Dillig , Yannis Smaragdakis
ACM SIGPLAN Notices 53 ( 4) 120 -134
7
2018
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)
Kostas Ferles , Benjamin Sepanski , Rahul Krishnan , James Bornholt
arXiv preprint arXiv:2203.00783
1
2022
Split Gröbner Bases for Satisfiability Modulo Finite Fields
Alex Ozdemir , Shankara Pailoor , Alp Bassa , Kostas Ferles
Cryptology ePrint Archive
2024
Symbolic Reasoning for Automatic Signal Placement (Extended Version)
Kostas Ferles , Jacob Van Geffen , Isil Dillig , Yannis Smaragdakis
arXiv preprint arXiv:1804.02503
2018
Failure-Directed Program Trimming (Extended Version)
Kostas Ferles , Valentin Wüstholz , Maria Christakis , Isil Dillig
arXiv preprint arXiv:1706.04468
2
2017
Synthesizing fine-grained synchronization protocols for implicit monitors
Kostas Ferles , Benjamin Sepanski , Rahul Krishnan , James Bornholt
arXiv preprint arXiv:2203.00783
2022