| Privacy-Preserving Noninteractive Compliance Audits of Blockchain Ledgers with Zero-Knowledge Proofs BZ Péter, I Kocsis Acta Polytech. Hung 21, 7-27, 2024 | 3 | 2024 |
| N-version programming as a mitigation for smart contract faults in execute-order-validate blockchain systems BZ Péter, I Kocsis Proc. 30th Minisymposium Dept. Meas. Inf. Syst, 33-36, 2023 | 2 | 2023 |
| ZKP-based audit for blockchain systems managing central bank digital currency BZ Péter, I Kocsis Proc. 29th Minisymp. Dept. Meas. Inf. Syst, 70-73, 2022 | 2 | 2022 |
| A Prolog-based Approach to Self-Evaluated, Declarative and Zero-Knowledge Verifiable Policies M Farkas, BÁ Toldi, BZ Péter, I Kocsis 2024 32nd International Conference on Modeling, Analysis and Simulation of …, 2024 | 1 | 2024 |
| Practical runtime verification of cross-organizational smart contracts DJ Kangogo, BZ Péter, A Klenik, I Kocsis | | 2024 |
| Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies Z Ádám, BZ Péter, Z Micskei, I Kocsis THE 14TH CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 15, 2024 | | 2024 |
| Design Space Exploration of Verifiable Credential Schemas using Partial Graph Modeling M Farkas, BZ Péter, I Kocsis THE 14TH CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 24, 2024 | | 2024 |
| Landmark Estimation for Qualitative Analysis over Distributed Traces BZ Péter, I Kocsis | | |
Imre KocsisBudapest University of Technology and EconomicsVerified email at mit.bme.hu
