Blockchain for V2X: Applications and Architectures von Meijers, James, Michalopoulos, Panagiotis, Motepalli, Shashank, Zhang, Gengrui, Zhang, Shiquan, Veneris, Andreas, Jacobsen, Hans-Arno

Volltext

Privacy and Transparency in CBDCs: A Regulation-by-Design AML/CFT Scheme von Pocher, Nadia, Veneris, Andreas

Volltext

Failure Triage in RTL Regression Verification von Poulos, Zissis, Veneris, Andreas

Volltext

Methodologies for Diagnosis of Unreachable States via Property Directed Reachability von Berryhill, Ryan, Veneris, Andreas

Volltext

Searching for Bugs Using Probabilistic Suspect Implications von Veira, Neil, Poulos, Zissis, Veneris, Andreas

Volltext

On the Latency and Energy of Checkpointed Superscalar Register Alias Tables von Safi, E., Moshovos, A., Veneris, A.

Volltext

Efficient suspect selection in unreachable state diagnosis von Berryhill, Ryan, Veneris, Andreas

Volltext

Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid von Nelaturu, Keerthi, Mavridou, Anastasia, Stachtiari, Emmanouela, Veneris, Andreas, Laszka, Aron

Volltext

On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle von Nelaturu, Keerthi, Adler, John, Merlini, Marco, Berryhill, Ryan, Veira, Neil, Poulos, Zissis, Veneris, Andreas

Volltext

Deeper: A shared liquidity decentralized exchange design for low trading volume tokens to enhance average liquidity von Singh, Srisht Fateh, Michalopoulos, Panagiotis, Veneris, Andreas

Volltext

Central Bank Digital Currencies von Pocher, Nadia, Veneris, Andreas

Volltext

Exemplar-based Failure Triage for Regression Design Debugging von Poulos, Zissis, Veneris, Andreas

Volltext

Truthful Decentralized Blockchain Oracles von Cai, Yuxi, Irtija, Nafis, Tsiropoulou, Eirini Eleni, Veneris, Andreas

Volltext

Innovations in Blockchain for Crypto Assets and Exchanges von Hong, James Won‐Ki, Veneris, Andreas, Ju, Hongtaek, Jeong, Taeyeol, Kang, Changhoon

Volltext

Automated Design Debugging With Maximum Satisfiability von Yibin Chen, Safarpour, Sean, Marques-Silva, Joao, Veneris, Andreas

Volltext

Path-Directed Abstraction and Refinement for SAT-Based Design Debugging von Keng, B., Veneris, A.

Volltext

Fault diagnosis and logic debugging using Boolean satisfiability von Smith, A., Veneris, A., Ali, M.F., Viglas, A.

Volltext

Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test von Mangassarian, Hratch, Veneris, Andreas, Benedetti, Marco

Volltext

LMPT: A Novel Authenticated Data Structure to Eliminate Storage Bottlenecks for High Performance Blockchains von Choi, Jemin Andrew, Beillahi, Sidi Mohamed, Singh, Srisht Fateh, Michalopoulos, Panagiotis, Li, Peilun, Veneris, Andreas, Long, Fan

Volltext

SigVM: enabling event-driven execution for truly decentralized smart contracts von Zhao, Zihan, Beillahi, Sidi Mohamed, Song, Ryan, Cai, Yuxi, Veneris, Andreas, Long, Fan

Volltext