Formal verification of workflow policies for smart contracts in azure blockchain Y Wang, SK Lahiri, S Chen, R Pan, I Dillig, C Born, I Naseer, K Ferles Verified Software. Theories, Tools, and Experiments: 11th International …, 2020 | 157* | 2020 |
SmartPulse: automated checking of temporal properties in smart contracts J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig 2021 IEEE Symposium on Security and Privacy (SP), 555-571, 2021 | 55 | 2021 |
Singularity: Pattern fuzzing for worst case complexity J Wei, J Chen, Y Feng, K Ferles, I Dillig Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 47 | 2018 |
Failure-directed program trimming K Ferles, V Wüstholz, M Christakis, I Dillig Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 26 | 2017 |
An efficient data structure for must-alias analysis G Kastrinis, G Balatsouras, K Ferles, N Prokopaki-Kostopoulou, ... Proceedings of the 27th International Conference on Compiler Construction, 48-58, 2018 | 12 | 2018 |
A datalog model of must-alias analysis G Balatsouras, K Ferles, G Kastrinis, Y Smaragdakis Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017 | 12 | 2017 |
Verifying correct usage of context-free API protocols K Ferles, J Stephens, I Dillig Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021 | 10 | 2021 |
Practical Security Analysis of Zero-Knowledge Proof Circuits. H Wen, J Stephens, Y Chen, K Ferles, S Pailoor, K Charbonnet, I Dillig, ... IACR Cryptol. ePrint Arch. 2023, 190, 2023 | 8 | 2023 |
Symbolic reasoning for automatic signal placement K Ferles, J Van Geffen, I Dillig, Y Smaragdakis ACM SIGPLAN Notices 53 (4), 120-134, 2018 | 7 | 2018 |
Failure-Directed Program Trimming (Extended Version) K Ferles, V Wüstholz, M Christakis, I Dillig arXiv preprint arXiv:1706.04468, 2017 | 2 | 2017 |
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version) K Ferles, B Sepanski, R Krishnan, J Bornholt, I Dillig arXiv preprint arXiv:2203.00783, 2022 | 1 | 2022 |
Split Gröbner Bases for Satisfiability Modulo Finite Fields A Ozdemir, S Pailoor, A Bassa, K Ferles, C Barrett, I Dillig Cryptology ePrint Archive, 2024 | | 2024 |
Synthesizing fine-grained synchronization protocols for implicit monitors K Ferles, B Sepanski, R Krishnan, J Bornholt, I Dillig Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-26, 2022 | | 2022 |
Symbolic Reasoning for Automatic Signal Placement K Ferles, J Van Geffen, I Dillig, Y Smaragdakis ACM SIGOPS Operating Systems Review 54 (1), 64-76, 2020 | | 2020 |
Symbolic Reasoning for Automatic Signal Placement (Extended Version) K Ferles, J Van Geffen, I Dillig, Y Smaragdakis arXiv preprint arXiv:1804.02503, 2018 | | 2018 |