%0 Conference Paper %1 conf/ewsn/PeyrardKDLR18 %A Peyrard, Alexandre %A Kosmatov, Nikolai %A Duquennoy, Simon %A Lille, Inria %A Raza, Shahid %B EWSN %D 2018 %E Giustiniano, Domenico %E Koutsonikolas, Dimitrios %E Banchs, Albert %E Mingozzi, Enzo %E Chowdhury, Kaushik Roy %I Junction Publishing, Canada/ ACM %K dblp %P 264-269 %T Towards Formal Verification of Contiki: Analysis of the AES-CCM* Modules with Frama-C. %U http://dblp.uni-trier.de/db/conf/ewsn/ewsn2018.html#PeyrardKDLR18

@inproceedings{conf/ewsn/PeyrardKDLR18, added-at = {2018-07-11T00:00:00.000+0200}, author = {Peyrard, Alexandre and Kosmatov, Nikolai and Duquennoy, Simon and Lille, Inria and Raza, Shahid}, biburl = {https://www.bibsonomy.org/bibtex/2056cf26332b11abb17cc2047973088fd/dblp}, booktitle = {EWSN}, crossref = {conf/ewsn/2018}, editor = {Giustiniano, Domenico and Koutsonikolas, Dimitrios and Banchs, Albert and Mingozzi, Enzo and Chowdhury, Kaushik Roy}, ee = {http://dl.acm.org/citation.cfm?id=3234910}, interhash = {0218c5eabfdf076f379b94d13e7078dd}, intrahash = {056cf26332b11abb17cc2047973088fd}, keywords = {dblp}, pages = {264-269}, publisher = {Junction Publishing, Canada/ ACM}, timestamp = {2018-07-12T11:39:26.000+0200}, title = {Towards Formal Verification of Contiki: Analysis of the AES-CCM* Modules with Frama-C.}, url = {http://dblp.uni-trier.de/db/conf/ewsn/ewsn2018.html#PeyrardKDLR18}, year = 2018 }