2
Publications
35
Citations
2
H-Index
2019
Active since
Tyler Etzel is an author at Meta (United States) specializing in data security, software analysis, and information security.
Top concepts
BlockchainEngineeringData SecurityComputer ScienceSoftware AnalysisInformation SecurityLawCryptographyFormal MethodsSystem Software
Publications per year
2019–2020
2
2
Michael Coblenz, Reed Oei, Tyler Etzel et al. · ACM Transactions on Programming Languages and Systems · 2020 · 23 citations · Full text
Smart Contract Language, Engineering, Information Security +13
Obsidian: Typestate and Assets for Safer Blockchain Programming
Michael Coblenz, Reed Oei, Tyler Etzel et al. · arXiv (Cornell University) · 2019 · 12 citations · Full text
Engineering, Information Security, Obsidian Implementation +17
Rows per page
1–2 of 2