Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		 Previous revision
public:papers:cybercert2020 [2020-06-23 18:40] – created Petr Švendapublic:papers:cybercert2020 [2020-12-01 13:15] (current) – Petr Švenda
Line 12: Line 12:
 {{fa>bullhorn}}\_//Workshop:// [[https://www.cetic.be/cybercert2020|Workshop on lightweight and Incremental Cybersecurity Certification]] {{fa>bullhorn}}\_//Workshop:// [[https://www.cetic.be/cybercert2020|Workshop on lightweight and Incremental Cybersecurity Certification]]
  
-\_{{fa>id-badge}}\_\_//DOI:// [[https://doi.org/10.1145/3173570|10.1145/3173570]]+\_{{fa>id-badge}}\_\_//DOI:// [[https://doi.org/10.1109/EuroSPW51379.2020.00022]]
 </TEXT> </TEXT>
 </col> </col>
Line 21: Line 21:
 <button type="warning" icon="fa fa-file-pdf-o">[[https://crocs.fi.muni.cz/_media/publications/pdf/2020-jcmathlib-cybercert.pdf|Pre-print PDF]]</button> <button type="warning" icon="fa fa-file-pdf-o">[[https://crocs.fi.muni.cz/_media/publications/pdf/2020-jcmathlib-cybercert.pdf|Pre-print PDF]]</button>
  
-<button type="info" icon="fa fa-external-link">[[https://dl.acm.org/citation.cfm?id=3173570|Final version (ACM DL)]]</button>+<button type="info" icon="fa fa-external-link">[[https://ieeexplore.ieee.org/abstract/document/9229780|Final version (IEEE Xplore)]]</button>
  
 <button collapse="bibtex" icon="fa fa-file-code-o">BiBTeX</button> <button collapse="bibtex" icon="fa fa-file-code-o">BiBTeX</button>
Line 32: Line 32:
     Title = {JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets},     Title = {JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets},
     Author = {Vasilios Mavroudis and Petr Svenda},     Author = {Vasilios Mavroudis and Petr Svenda},
-    Conference = {First International Workshop on lightweight and Incremental Cybersecurity Certification},+    Conference = {2020 IEEE European Symposium on Security and Privacy Workshops},
     Year = {2020},     Year = {2020},
-    Volume = {61}, +    Pages = {89--96},
-    Number = {2}, +
-    Pages = {64--71},+
     Publisher = {IEEE},     Publisher = {IEEE},
-    Doi = {xxx}, 
   }   }
 </collapse> </collapse>
Line 51: Line 48:
 </panel> </panel>
  
-===== Key insights ===== 
- 
-Our research produced the following actionable takeaways for software developers: 
-  * **FIXME**\\ FIXME. 
- 
-===== Acknowledgements ===== 
- 
-FIXME