Výsledky vyhledávání

TweetNaCl: A Crypto Library in 100 Tweets

Autor: Bernstein, D.J., van Gastel, B., Janssen, W., Lange, T., Schwabe, P., Smetsers, S., Aranha, D.F., Menezes, A.

Publikováno v: Aranha, D.F.; Menezes, A. (ed.), Progress in Cryptology-LATINCRYPT 2014 : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014, 64-83. Berlin : Springer International Publishing
STARTPAGE=64;ENDPAGE=83;ISSN=0302-9743;TITLE=Aranha, D.F.; Menezes, A. (ed.), Progress in Cryptology-LATINCRYPT 2014 : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014
Aranha, D.F.; Menezes, A. (ed.), Progress in Cryptology-LATINCRYPT 2014 : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014, pp. 64-83
ISSUE=3;STARTPAGE=64;ENDPAGE=83;TITLE=Third International Conference on Cryptology and Information Security in Latin America
Bernstein, D J, van Gastel, B E, Janssen, W, Lange, T, Schwabe, P & Smetsers, S 2015, ' TweetNaCl : A Crypto Library in 100 Tweets ', Paper presented at Third International Conference on Cryptology and Information Security in Latin America, Florianópolis, Brazil, 17/09/14-19/09/14 pp. 64-83 . https://doi.org/10.1007/978-3-319-16295-9_4
Progress in Cryptology-LATINCRYPT 2014 (Third International Conference on Cryptology and Information Security in Latin America, Florianópolis, Brazil, September 17-19, 2014. Revised Selected Papers), 64-83
STARTPAGE=64;ENDPAGE=83;TITLE=Progress in Cryptology-LATINCRYPT 2014 (Third International Conference on Cryptology and Information Security in Latin America, Florianópolis, Brazil, September 17-19, 2014. Revised Selected Papers)
Progress in Cryptology-LATINCRYPT 2014 ISBN: 9783319162942
LATINCRYPT

This paper introduces TweetNaCl, a compact reimplementation of the NaCl library, including all 25 of the NaCl functions used by applications. TweetNaCl is published on Twitter and fits into just 100 tweets; the tweets are available from anywhere, any

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c5725f5e3bcb65ae71603973d6610d14
http://hdl.handle.net/2066/141404

Zobrazit plný text záznamu

Using model-checking to reveal a vulnerability of tamper-evident pairing

Autor: Kersten, R., Gastel, B. van, Drijvers, M., Smetsers, S., Eekelen, M.C.J.D. van, Brat, G., Rungta, N., Venet, A.

Publikováno v: Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 63-77. Berlin : Springer
STARTPAGE=63;ENDPAGE=77;TITLE=Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, ; 7871, pp. 63-77

Contains fulltext : 122773.pdf (Author’s version preprint ) (Open Access) NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e7d3b55696cb0af195c50346837663ef
http://hdl.handle.net/2066/122773

Zobrazit plný text záznamu

Soundness proof for a hoare logic for energy consumption analysis

Autor: Toldin, P. Parisen, Kersten, R., Gastel, B. van, Eekelen, M.C.J.D. van

Publikováno v: Technical Report ; ICIS-R13009. Nijmegen : ICIS
Technical Report ; ICIS-R13009

Contains fulltext : 119977.pdf (Publisher’s version ) (Open Access) 25 p.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5e8400e5c37a3dc9b125e6276add78ed
https://hdl.handle.net/2066/119977

Zobrazit plný text záznamu

Making resource analysis practical for real-time Java

Autor: Kersten, R., Shkaravska, O., Gastel, B. van, Montenegro, M., Eekelen, M.C.J.D. van, Schoeberl, M.

Publikováno v: Schoeberl, M. (ed.), JTRES 2012 : Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 135-144. New York : ACM
STARTPAGE=135;ENDPAGE=144;TITLE=Schoeberl, M. (ed.), JTRES 2012 : Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
JTRES
Schoeberl, M. (ed.), JTRES 2012 : Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, pp. 135-144

For real-time and embedded systems limiting the consumption of time and memory resources is often an important part of the requirements. Being able to predict bounds on the consumption of these resources during the development process of the code can

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::279e81906d59b85a707691c7f2112924
http://hdl.handle.net/2066/103490

Zobrazit plný text záznamu

Software en energiegebruik

Autor: Eekelen, M.C.J.D. van, Kersten, R.W.J., Gastel, B. van, Croes, R.

Publikováno v: Croes, R. (ed.), Duurzame ICT-Grondstof en energiebron voor een duurzame wereld, 23-34. [S.l] : Academic Service
STARTPAGE=23;ENDPAGE=34;TITLE=Croes, R. (ed.), Duurzame ICT-Grondstof en energiebron voor een duurzame wereld
Croes, R. (ed.), Duurzame ICT-Grondstof en energiebron voor een duurzame wereld, pp. 23-34

Item does not contain fulltext Scientific publication

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c5aa63001f07d41495a48b37eeaa539f
https://hdl.handle.net/2066/84039

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání