Show simple item record

dc.contributor.authorEldib, Hassan Shoukryen_US
dc.date.accessioned2015-08-01T08:00:10Z
dc.date.available2015-08-01T08:00:10Z
dc.date.issued2015-07-30en_US
dc.identifier.othervt_gsexam:5605en_US
dc.identifier.urihttp://hdl.handle.net/10919/55120
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_US
dc.format.mediumETDen_US
dc.publisherVirginia Techen_US
dc.rightsThis Item is protected by copyright and/or related rights. Some uses of this Item may be deemed fair and permitted by law even without permission from the rights holder(s), or the rights holder(s) may have licensed the work for use under certain conditions. For other uses you need to obtain permission from the rights holder(s).en_US
dc.subjectProgram Synthesisen_US
dc.subjectFormal Verificationen_US
dc.subjectEmbedded Softwareen_US
dc.subjectSecurityen_US
dc.subjectCryptographyen_US
dc.subjectSide-Channel Attacks and Countermeasuresen_US
dc.titleConstraint Based Program Synthesis for Embedded Softwareen_US
dc.typeDissertationen_US
dc.contributor.departmentElectrical and Computer Engineeringen_US
dc.description.degreePh. D.en_US
thesis.degree.namePh. D.en_US
thesis.degree.leveldoctoralen_US
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen_US
thesis.degree.disciplineComputer Engineeringen_US
dc.contributor.committeechairWang, Chaoen_US
dc.contributor.committeememberTilevich, Elien_US
dc.contributor.committeememberSchaumont, Patrick Roberten_US
dc.contributor.committeememberHsiao, Michael S.en_US
dc.contributor.committeememberShukla, Sandeep K.en_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record