% % This file was created by the TYPO3 extension % bib % --- Timezone: CET % Creation date: 2024-03-29 % Creation time: 10-09-31 % --- Number of references % 2 % @Inproceedings { 2013-sec-routing-switching-maki, title = {A Blueprint for Switching Between Secure Routing Protocols in Wireless Multihop Networks}, year = {2013}, month = {6}, day = {4}, booktitle = {Proceedings of the 4th IEEE International Workshop on Data Security and Privacy in Wireless Networks (D-SPAN 2013)}, state = {accepted}, reviewed = {1}, author = {Werner, Marc and Kaiser, J{\"o}rg and Hollick, Matthias and Weingaertner, Elias and Wehrle, Klaus} } @Inproceedings { 2012-wripe-sasnauskas-symnet, title = {Integration Testing of Protocol Implementations using Symbolic Distributed Execution}, year = {2012}, month = {10}, pages = {6 S.}, tags = {kleenet}, url = {fileadmin/papers/2012/2012-09-wripe-sasnauskas-SymNet.pdf}, misc2 = {Print Online}, address = {Piscataway, NJ, USA}, booktitle = {The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), 30 October - 02 November 2012, Austin, TX, USA}, organization = {IEEE}, event_place = {Austin, TX, USA}, event_name = {The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012)}, event_date = {October 30 - November 02 2012}, language = {en}, ISBN = {978-1-4673-2445-8}, DOI = {10.1109/ICNP.2012.6459940}, reviewed = {1}, author = {Sasnauskas, Raimondas and Kaiser, Philipp and Jukić, Russ Lucas and Wehrle, Klaus} }