Concepedia

Surya Bakshi

SB

6

Publications

282

Citations

6

H-Index

2018

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Surya Bakshi is an author at University of Illinois Urbana-Champaign specializing in formal verification, engineering, and data security.

Top concepts

BlockchainEngineeringCryptographyData PrivacyData SecurityComputer ScienceFormal VerificationInformation Security

Publications per year

2018–2019

6

Publications

6

Pisa

Patrick McCorry, Surya Bakshi, Iddo Bentov et al. · 2019 · 107 citations

Blockchain, Blockchain Consensus Protocol, Engineering +11

Erays: Reverse Engineering Ethereum's Opaque Smart Contracts

Yi Zhou, Deepak Kumar, Surya Bakshi et al. · 2018 · 60 citations · Full text

Giulia Fanti, Shaileshh Bojja Venkatakrishnan, Surya Bakshi et al. · 2018 · 53 citations · Full text

Engineering, Information Security, Cryptography +11

Giulia Fanti, Shaileshh Bojja Venkatakrishnan, Surya Bakshi et al. · Proceedings of the ACM on Measurement and Analysis of Computing Systems · 2018 · 39 citations · Full text

Engineering, Bitcoin Transactions, Information Security +11

TxProbe: Discovering Bitcoin’s Network Topology Using Orphan Transactions

Sergi Delgado-Segura, Surya Bakshi, Cristina Pérez‐Solà et al. · Lecture notes in computer science · 2019 · 12 citations · Full text

Rows per page

1–5 of 6