Scholz, Bernhard
- Vandal: A Scalable Security Analysis Framework for Smart Contracts
2018/09/11 by Lexi Brent, Brent, Lexi, Anton Jurisevic +14 · 15 citations
Computer Science · #Advanced Malware Detection Techniques #Blockchain Technology Applications and Security #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing #cs.PL
- The Economics of Smart Contracts
2019/10/23 by Kirk Baird, Baird, Kirk, Jeong Seong-Ho +7 · 1 citation
Computer Science · #Advanced Data Storage Technologies #Blockchain Technology Applications and Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #D.2.11 #D.2.8 #Distributed #FOS: Computer and information sciences #Parallel #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
- Cloudprofiler: TSC-based inter-node profiling and high-throughput data ingestion for cloud streaming workloads
2022/05/19 by Shinhyung Yang, Jiun Jeong, Yang, Shinhyung +5 · 1 citation
Computer Science · #Distributed #FOS: Computer and information sciences #Network Time Synchronization Technologies #Parallel #Software System Performance and Reliability #Time Series Analysis and Forecasting #and Cluster Computing (cs.DC)
- Reusable Formal Verification of DAG-based Consensus Protocols
2024/07/02 by Bertrand, Nathalie, Ghorpade, Pranav, Rubin, Sasha +2 · 1 citation
#Distributed #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)