Make Web3.0 Connected

10.1145/3319535.3355503

Back, 2014, Enabling blockchain innovations with pegged sidechains

10.1145/3212734.3212736

10.1109/SP.2019.00085

10.1109/SP.2019.00040

10.1017/CBO9781107415324.004.2014

Kogias, Enhancing bitcoin security and performance with strong consistency via collective signing, Proc. 25th USENIX Conf. Secur. Symp., 279

Eyal, Bitcoin-NG: A scalable blockchain protocol, Proc. 13th Usenix Conf. Netw. Syst. Des. Implementation, 45

Wang, Monoxide: Scale out blockchains with asynchronous consensus zones, Proc. 16th USENIX Conf. Netw. Syst. Des. Implementation, 95

10.1145/3243734.3243853

10.1109/SP.2018.000-5

10.14722/ndss.2018.23241

10.1109/SP.2016.55

10.1109/EuroSP.2019.00023

Krupp, TEETHER: Gnawing at ethereum to automatically exploit smart contracts, Proc. 27th USENIX Conf. Secur. Symp., 1317

Breidenbach, Enter the hydra: Towards principled bug bounties and exploit-resistant smart contracts, Proc. 27th USENIX Conf. Security Symp., 1335

10.1145/2976749.2978309

Wu, DIZK: A distributed zero knowledge proof system, Proc. 27th USENIX Conf. Secur. Symp., 675

10.1145/3372297.3417239

10.1145/359545.359563

10.1145/2976749.2978326

10.1007/978-3-319-63688-7_10

10.1145/3319535.3355503

10.1109/SFCS.2001.959888

Parr, 2014, Antlr

10.1007/978-3-030-43725-1_3

Blackshear, 2019, Move: A language with programmable resources

10.1145/1250734.1250755

10.1145/1142473.1142485

Borders, Chimera: A declarative language for streaming network traffic analysis, Proc. 21st USENIX Conf. Secur. Symp.

10.1145/2663716.2663735

Vallentin, VAST: A unified platform for interactive network forensics, Proc. 13th USENIX Symp. Netw. Syst. Des. Implementation, 345

Gao, AIQL: Enabling efficient attack investigation from system monitoring data, Proc. USENIX Conf. Usenix Annu. Tech. Conf., 113

Gao, SAQL: A stream-based query system for real-time abnormal system behavior detection, Proc. 27th USENIX Conf. Secur. Symp., 639