Poster Abstract: BUFS: Towards bottom-up foundational security for software in the internet-of-things

Proceedings - 1st IEEE/ACM Symposium on Edge Computing, SEC 2016

Volumn , Issue , 2016, Pages 107-108

  Tan, Jiaqi ^a   Gandhi, Rajeev ^a   Narasimhan, Priya ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Internet of Things; Program logic; Software security; Software verification

Indexed keywords

BIOMEDICAL EQUIPMENT; COMPUTATION THEORY; SAFETY ENGINEERING; SOFTWARE DESIGN; SOFTWARE ENGINEERING; VERIFICATION;

CONSTRUCTION APPROACHES; INTERNET OF THING (IOT); PROGRAM LOGIC; SAFETY-CRITICAL DOMAIN; SECURITY FAILURE; SOFTWARE SECURITY; SOFTWARE VERIFICATION; VERIFICATION PROCESS;

INTERNET OF THINGS;

EID: 85010818377     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEC.2016.33     Document Type: Conference Paper

References (8)

1. HP Study Reveals 70 Percent of Internet of Things Devices Vulnerable to Attack, 2014. http://bit.ly/2943Cyp.
2. S. Chaki and A. Datta, "ASPIER: An Automated Framework for Verifying Security Protocol Implementations," in IEEE CSF, 2009
3. M. Abadi, M. Budiu, U. Erlingsson, and J. Ligatti, "Controlflow Integrity," in ACM CCS, 2005
4. F. Bonomi et al., "Fog Computing and Its Role in the Internet of Things," in ACM SIGCOMM MCC, 2012
5. U. Drolia et al., "The Case for Mobile Edge Clouds," in IEEE UIC, Dec 2013
6. G. Klein et al., "seL4: Formal verification of an OS kernel," in SOSP, Oct 2009
7. J. Tan, H. Tay, R. Gandhi, and P. Narasimhan, "AUSPICE: Automatic Safety Property Verification for Unmodified Executables," in VSTTE, 2015
8. J. Tan, H. Tay, U. Drolia, R. Gandhi, and P. Narasimhan, "PCFIRE: Towards Provable Preventative Control-Flow Integrity Enforcement for Realistic Embedded Software," in EMSOFT, 2016