Neykova, Rumyana
- kmclib: Automated Inference and Verification of Session Types
2021/11/23 by Imai, Keigo, Lange, Julien, Neykova, Rumyana · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- MindTheDApp: A Toolchain for Complex Network-Driven Structural Analysis of Ethereum-based Decentralised Applications
2023/10/03 by Giacomo Ibba, Ibba, Giacomo, Sabrina Aufiero +11 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Computation and Language (cs.CL) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Information Theory (cs.IT) #Peer-to-Peer Network Technologies
- Adjacency matrices for dApps contracts and functions network
2024/01/03 by Sabrina Aufiero, Giacomo Ibba, Aufiero, Sabrina +9 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Computers and Society (cs.CY) #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Information Theory (cs.IT) #Peer-to-Peer Network Technologies #Software Engineering (cs.SE)
- Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
2022/04/28 by Lagaillardie, Nicolas, Neykova, Rumyana, Yoshida, Nobuko · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)