( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Cryptographic Software Correctness with Respect to Reference Implementations.

, , , и . FMICS, том 5825 из Lecture Notes in Computer Science, стр. 37-52. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ulrike Vieira

Felipe Vieira

Sandra Vieira

Amarilio Vieira Macedo

Rogério Chaves Vieira

 

Другие публикации лиц с тем же именем

Securing the Information Infrastructure for EV Charging., , и . WISATS, том 154 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 61-74. Springer, (2015)Deductive Verification of Cryptographic Software., , , и . NASA Formal Methods, том NASA/CP-2009-215407 из NASA Conference Proceedings, стр. 146-155. (2009)Formal verification of cryptographic software implementations. University of Minho, Portugal, (2012)A security protocol for information-centric networking in smart grids., и . SEGS@CCS, стр. 1-10. ACM, (2013)A Deductive Verification Platform for Cryptographic Software., , , и . ECEASST, (2010)A Framework for Combining and Ranking Static Analysis Tool Findings Based on Tool Performance Statistics., , , и . QRS Companion, стр. 595-596. IEEE, (2017)Verifying Cryptographic Software Correctness with Respect to Reference Implementations., , , и . FMICS, том 5825 из Lecture Notes in Computer Science, стр. 37-52. Springer, (2009)Supporting smart electric vehicle charging with information-centric networking., , , и . QSHINE, стр. 174-179. IEEE, (2014)