Cited By
View all- Liu JArden OGeorge MMyers A(2017)Fabric: Building open distributed systems securely by constructionJournal of Computer Security10.3233/JCS-1580525:4-5(367-426)Online publication date: 10-Jul-2017
- McMahan JChristensen MNichols LRoesch JGuo SHardekopf BSherwood T(2017)An Architecture Supporting Formal and Compositional Binary AnalysisACM SIGPLAN Notices10.1145/3093336.303773352:4(177-191)Online publication date: 4-Apr-2017
- Hsiao CNarayanasamy SKhan EPereira CPokam G(2017)AsyncClockACM SIGPLAN Notices10.1145/3093336.303771252:4(193-205)Online publication date: 4-Apr-2017
- Show More Cited By