%0 Conference Paper %1 conf/ches/BaumannSD17 %A Baumann, Christoph %A Schwarz, Oliver %A Dam, Mads %B PROOFS %D 2017 %E Kühne, Ulrich %E Danger, Jean-Luc %E Guilley, Sylvain %I EasyChair %K dblp %P 1-16 %T Compositional Verification of Security Properties for Embedded Execution Platforms. %U http://dblp.uni-trier.de/db/conf/ches/proofs2017.html#BaumannSD17 %V 49

@inproceedings{conf/ches/BaumannSD17, added-at = {2021-11-30T00:00:00.000+0100}, author = {Baumann, Christoph and Schwarz, Oliver and Dam, Mads}, biburl = {https://www.bibsonomy.org/bibtex/2fcf378ef44b0ca58deb8a3815042c252/dblp}, booktitle = {PROOFS}, crossref = {conf/ches/2017proofs}, editor = {Kühne, Ulrich and Danger, Jean-Luc and Guilley, Sylvain}, ee = {https://doi.org/10.29007/h4rv}, interhash = {d9c0e364be635bb610346415df8dd697}, intrahash = {fcf378ef44b0ca58deb8a3815042c252}, keywords = {dblp}, pages = {1-16}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-10T01:20:53.000+0200}, title = {Compositional Verification of Security Properties for Embedded Execution Platforms.}, url = {http://dblp.uni-trier.de/db/conf/ches/proofs2017.html#BaumannSD17}, volume = 49, year = 2017 }