Sophia Drossopoulou

1. Policy as Types
   2013/07/30 by Lucius Gregory Meredith, Lucius G Meredith, Meredith, Lucius G +4 · 1 voice
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.CR #cs.LO
2. Flint for Safer Smart Contracts
   2019/04/13 by Franklin Schrans, Schrans, Franklin, Daniel Hails +7 · 2 citations
   Computer Science · #Blockchain Technology Applications and Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing
3. Necessity Specifications for Robustness
   2022/09/17 by Julian Mackay, Sophia Drossopoulou, Mackay, Julian +5 · 2 citations
   Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Security and Verification in Computing