Constraint Based Program Synthesis for Embedded Software

dc.contributor.authorEldib, Hassan Shoukryen
dc.contributor.committeechairWang, Chaoen
dc.contributor.committeememberTilevich, Elien
dc.contributor.committeememberSchaumont, Patrick R.en
dc.contributor.committeememberHsiao, Michael S.en
dc.contributor.committeememberShukla, Sandeep K.en
dc.contributor.departmentElectrical and Computer Engineeringen
dc.date.accessioned2015-08-01T08:00:10Zen
dc.date.available2015-08-01T08:00:10Zen
dc.date.issued2015-07-30en
dc.description.abstractIn the world that we live in today, we greatly rely on software in nearly every aspect of our lives. In many critical applications, such as in transportation and medical systems, catastrophic consequences could occur in case of buggy software. As the computational power and storage capacity of computer hardware keep increasing, so are the size and complexity of the software. This makes testing and verification increasingly challenging in practice, and consequentially creates a chance for software with critical bugs to find their way into the consumer market. In this dissertation, I present a set of innovative new methods for automatically verifying, as well as synthesizing, critical software and hardware in embedded computing applications. Based on a set of rigorous formal analysis techniques, my methods can guarantee that the resulting software are efficient and secure as well as provably correct.en
dc.description.degreePh. D.en
dc.format.mediumETDen
dc.identifier.othervt_gsexam:5605en
dc.identifier.urihttp://hdl.handle.net/10919/55120en
dc.publisherVirginia Techen
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectProgram Synthesisen
dc.subjectFormal Verificationen
dc.subjectEmbedded Softwareen
dc.subjectSecurityen
dc.subjectCryptographyen
dc.subjectSide-Channel Attacks and Countermeasuresen
dc.titleConstraint Based Program Synthesis for Embedded Softwareen
dc.typeDissertationen
thesis.degree.disciplineComputer Engineeringen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.leveldoctoralen
thesis.degree.namePh. D.en
Files
Original bundle
Now showing 1 - 2 of 2
Loading...
Thumbnail Image
Name:
Eldib_HS_D_2015.pdf
Size:
831.64 KB
Format:
Adobe Portable Document Format
Loading...
Thumbnail Image
Name:
Eldib_HS_D_2015_support_1.pdf
Size:
158.65 KB
Format:
Adobe Portable Document Format
Description:
Supporting documents