共 50 条
- [1] The importance of high assurance security in pervasive computing [J]. SECURITY IN PERVASIVE COMPUTING, 2004, 2802 : 9 - 9
- [2] Security with Noisy Data (Extended Abstract of Invited Talk) [J]. INFORMATION HIDING, 2010, 6387 : 48 - 50
- [3] Security issues in collaborative computing - (Abstract of keynote talk) [J]. COMPUTING AND COMBINATORICS, PROCEEDINGS, 2006, 4112 : 2 - 2
- [4] Invited Talk: Software Engineering, AI and autonomous vehicles: Security assurance [J]. 2020 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS (PERCOM WORKSHOPS), 2020,
- [6] Towards pervasive computing security [J]. WORLD CONGRESS ON ENGINEERING 2008, VOLS I-II, 2008, : 810 - 815
- [7] Equivariant syntax and semantics - (Abstract of invited talk) [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 2002, 2380 : 32 - 36
- [8] Security, functionality and scale? (Invited talk) [J]. DATA AND APPLICATIONS SECURITY XXII, 2008, 5094 : 64 - 64
- [9] Towards Assurance Evaluation of Autonomous Systems Invited Talk [J]. 2020 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED-DESIGN (ICCAD), 2020,
- [10] Tailored Security and Safety for Pervasive Computing [J]. INETSEC 2009 - OPEN RESEARCH PROBLEMS IN NETWORK SECURITY, 2009, 309 : 85 - +