This section gathers our research results from most recent projects. Both important publications and experimental implementations can be found here.

Date	Authors	Title	Conference/Journal	Link
2023/08/29	MALINA, L.; DOBIÁŠ, P.; HAJNÝ, J.; CHOO, K.	On Deploying Quantum-Resistant Cybersecurity in Intelligent Infrastructures	ARES 2023	ACM
2023/08/29	DANIDOU Y.; RICCI S.; SKARMETA A.; HOSEK J; ZANERO S.; LENDAK I.	DJM-CYBER: A Joint Master in Advanced Cybersecurity	ARES 2023 (ETACS 2023)	ACM
2023/08/29	DOBIAS P.; MALINA L.; ILGNER P.; DZURENDA P.	On Efficiency and Usability of Group Signatures on Smartphone and Single-board Platforms	ARES 2023 (SP2I 2023)	ACM
2023/08/29	BRIONES DELGADO A.; RICCI S.; CHATZOPOULOU A.; CEGAN J.; DZURENDA P.; KOUTOUDIS I.	Enhancing Cybersecurity Education in Europe: The REWIRE’s Course Selection Methodology	ARES 2023 (ETACS 2023)	ACM
2023/07/12	DOBIÁŠ, P.; RICCI, S.; DZURENDA, P.; MALINA, L.; SNETKOV, N.	Lattice-based Threshold Signature Implementation for Constrained Devices	SECRYPT 2023	SCITEPRESS
2023/06/08	KIAC, M.; SIKORA, P.; MALINA, L.; MARTINÁSEK, Z.; SRIVASTAVA, G. ADEROS	Artificial Intelligence-Based Detection System of Critical Events for Road Security	IEEE Systems Journal	IEEE
2022/11/01	MALINA, L.; ŠEDA, P.; MARTINÁSEK, Z.; ŠROTÝŘ, M.; VANIŠ, M.; LOKAJ, Z.; POKORNÝ, J.	On Security and Privacy in Vehicle Speed Limiting Services in the Internet of Vehicles	IEEE Intelligent Transportation Systems Magazine	IEEE
2022/10/31	ROASCIO, G.; COSTA, G.; BACCELLI, E.; MALINA, L.; MATULEVICIUS, R.; MOMEU, M.; MORKEVICIUS, N.; RUSSO, E.; STOJANOVIC´, B.; TASIDOU, A.	HArMoNICS: High-Assurance Microgrid Network Infrastructure Case Study	IEEE Access	IEEE
2022/09/07	RICCI, S.; DZURENDA, P.; CASANOVA-MARQUÉS, R.; ČÍKA, P.	Threshold Signature for Privacy-preserving Blockchain	BPM 2022	Springer
2022/08/23	HAJNÝ, J.; SIKORA, M.; DI FRANCO, F.; GRAMMATOPOULOS, A.	Adding European Cybersecurity Skills Framework into Curricula Designer	ARES 2022 (ETACS 2022)	ACM
2022/08/23	RICCI, S.; SIKORA, M.; PARKER, S.; LENDAK, I.; DANIDOU, Y.; CHATZOPOULOU, A.; BADONNEL, R.; ALKSNYS, D.	Job Adverts Analyzer for Cybersecurity Skills Needs Evaluation	ARES 2022 (ETACS 2022)	ACM
2022/08/23	LIESKOVAN, T.; HAJNÝ, J.	Security of Smart Grid Networks in the Cyber Ranges.	ARES 2022 (ETACS 2022)	ACM
2022/08/23	JEDLIČKA, P.; MALINA, L.; SOCHA, P.; GERLICH, T.; MARTINÁSEK, Z.; HAJNÝ, J.	n Secure and Side-Channel Resistant Hardware Implementations of Post-Quantum Cryptography	ARES 2022 (SP2I 2022)	ACM
2022/08/23	CASANOVA-MARQUÉS, R.; DZURENDA, P.; HAJNÝ, J.	Implementation of Revocable Keyed-Verification Anonymous Credentials on Java Card	ARES 2022 (SP2I 2022)	ACM
2022/08/23	DZURENDA, P.; CASANOVA-MARQUÉS, R.; MALINA, L.; HAJNÝ, J.	Real-world Deployment of Privacy-Enhancing Authentication System using Attribute-based Credentials	ARES 2022 (SP2I 2022)	ACM
2022/07/13	MALINA, L.; RICCI, S.; DOBIÁŠ, P.; JEDLIČKA, P.; HAJNÝ, J.; CHOO, K.	On the Efficiency and Security of Quantum-resistant Key Establishment Mechanisms on FPGA Platforms	SECRYPT 2022	SCITEPRESS
2021/11/02	KAMAL, M.; TARIQ, M.; SRIVASTAVA, G.; MALINA, L.	Optimized Security Algorithms for Intelligent and Autonomous Vehicular Transportation Systems	IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS	IEEE
2021/10/04	RICCI, S.; DZURENDA, P.; HAJNÝ, J.; MALINA, L.	Privacy-Enhancing Group Signcryption Scheme	IEEE Access	IEEE
2021/08/17	HAJNÝ, J.; RICCI, S.; PIESARSKAS, E.; SIKORA, M.	Cybersecurity Curricula Designer	ARES 2021 (ETACS 2021)	ACM
2021/08/17	DZURENDA, P.; RICCI, S.; CASANOVA MARQUÉS, R.; HAJNÝ, J.; ČÍKA, P.	Secret Sharing-based Authenticated Key Agreement Protocol	ARES 2021 (SP2I 2021)	ACM
2021/08/17	RICCI, S.; MALINA, L.; JEDLIČKA, P.; SMÉKAL, D.; HAJNÝ, J.; CÍBIK, P.; DZURENDA, P.; DOBIÁŠ, P.	Implementing CRYSTALS-Dilithium Signature Scheme on FPGAs	ARES 2021 (main track)	ACM
2021/08/17	DZURENDA, P.; ANGLÉS, C.; RICCI, S.; MALINA, L.	Privacy-Preserving Online Parking Based on Smart Contracts	ARES 2021 (SP2I 2021)	ACM
2021/08/17	RICCI, S.; JANOUT, V.; PARKER, S.; JEŘÁBEK, J.; HAJNÝ, J.; CHATZOPOULOU, A.; BADONNEL, R.	PESTLE Analysis of Cybersecurity Education	ARES 2021 (ETACS 2021)	ACM
2021/08/17	LIESKOVAN, T.; HAJNÝ, J.	Building Open Source Cyber Range To Teach Cyber Security	ARES 2021 (ETACS 2021)	ACM
2021/07/01	HAJNÝ, J.; RICCI, S.; PIESARSKAS, E.; LEVILLAIN, O.; GALLETTA, L.; DE NICOLA, R.	Framework, Tools and Good Practices for Cybersecurity Curricula	IEEE Access	IEEE
2021/06/06	RICCI, S.; JEDLIČKA, P.; CÍBIK, P.; DZURENDA, P.; MALINA, L.; HAJNÝ, J.	Towards CRYSTALS-Kyber VHDL Implementation	SECRYPT 2021	Scitepress
2021/06/06	CASANOVA MARQUÉS, R.; PASCACIO, P.; HAJNÝ, J.; TORRES-SOSPEDRA, J.	Anonymous Attribute-Based Credentials in Collaborative Indoor Positioning Systems	SECRYPT 2021	Scitepress
2021/05/25	HAJNÝ, J.; DZURENDA, P.; CASANOVA MARQUÉS, R.; MALINA, L.	Privacy ABCs: Now Ready for Your Wallets!	IEEE PerCom 2021	IEEE
2021/05/22	Farras O.; Ribes-Gonzales J.; Ricci S.	Privacy-preserving Data Splitting: A Combinatorial Approach	DESIGNS CODES AND CRYPTOGRAPHY	Springer
2021/02/24	MALINA, L.; DZURENDA, P.; RICCI, S.; HAJNÝ, J.; SRIVASTAVA, G.; MATULEVICIUS, R.; AFFIA, A.; LAURENT, M.; HAQUE SULTAN, N.; TANG, Q.	Post-Quantum Era Privacy Protection for Intelligent Infrastructures	IEEE Access	IEEE
2021/02/04	MALINA, L.; SMÉKAL, D.; RICCI, S.; HAJNÝ, J.; CÍBIK, P.; HRABOVSKÝ, J.	Hardware-Accelerated Cryptography for Software-Defined Networks with P4.	SecITC 2020/LNCS	Springer
2021/02/04	SAFONOV, Y.; MARTINÁSEK, Z.; MALINA, L.; PECL, D.; KAČIC, M.; ALMER, L.	Manager asks: Which vulnerability must be eliminated first?	SecITC 2020/LNCS	Springer
2020/10/16	SIKORA, P.; MALINA, L.; KIAC, M.; MARTINÁSEK, Z.; ŘÍHA, K.; PŘINOSIL, J.; JIŘÍK, L.; SRIVASTAVA, G.	Artificial Intelligence-based Surveillance System for Railway Crossing Traffic.	IEEE SENSORS JOURNAL	IEEE
2020/01/20	MALINA, L.; RICCI, S.; DZURENDA, P.; SMÉKAL, D.; HAJNÝ, J.; GERLICH, T.	Towards Practical Deployment of Post-quantum Cryptography on Constrained Platforms and Hardware-Accelerated Platforms.	Innovative Security Solutions for Information Technology and Communications (SecITC)	Springer
2019/12/10	MALINA, L.; SRIVASTAVA, G.; DZURENDA, P.; HAJNÝ, J.; RICCI, S.	A Privacy-Enhancing Framework for Internet of Things Services.	13th International Conference on Network and System Security	Springer
2019/09/17	MALINA, L.; SRIVASTAVA, G.; DZURENDA, P.; HAJNÝ, J.; FUJDIAK, R.	A Secure Publish/Subscribe Protocol for Internet of Things	ARES 2019	ACM
2019/06/05	HAJNÝ, J.; DZURENDA, P.; CAMENISCH, J.; DRIJVERS, M	Fast Keyed-Verification Anonymous Credentials on Standard Smart Cards	IFIP Advances in Information and Communication Technology	Springer
2018/10/15	MARTINÁSEK, Z.; HAJNÝ, J.; SMÉKAL, D.; MALINA, L.; MATOUŠEK, D.; KEKELY, M.; MENTES, N.	200 Gbps Hardware-Accelerated Encryption System for FPGA Network Cards	ACM CCS ASHES	TBA
2018/08/01	MALINA, L.; DZURENDA, P.; HAJNÝ, J.; MARTINÁSEK, Z.	Secure and Efficient Two-factor Zero-knowledge Authentication Solution for Access Control Systems	COMPUTERS & SECURITY	Elsevier
2018/08/01	MALINA, L.; HAJNÝ, J.; DZURENDA, P.; RICCI, S.	Lightweight Ring Signatures for Decentralized Privacy-preserving Transactions	SECRYPT 2018	SCITEPRESS
2018/08/01	HAJNÝ, J.; DZURENDA, P.; MALINA, L.; RICCI, S.	Anonymous Data Collection Scheme from Short Group Signatures	SECRYPT 2018	ScitePress
2018/07/29	HAJNÝ, J.; DZURENDA, P.; MALINA, L.	Multidevice Authentication with Strong Privacy Protection	WIRELESS COMMUNICATIONS & MOBILE COMPUTING	Wiley/Hindawi
2017/10/10	DZURENDA, P.; RICCI SARA; HAJNÝ, J.; MALINA, L.	Performance Analysis and Comparison of Different Elliptic Curves on Smart Cards	15th International Conference on Privacy, Security and Trust (PST) 2017	UniCalgary
2017/07/24	DZURENDA, P.; HAJNÝ, J.; MALINA, L.; RICCI, S.	Anonymous Credentials with Practical Revocation using Elliptic Curves	SECRYPT 2017	ScitePress
2016/11/14	MALINA, L.; HAJNÝ, J.; FUJDIAK, R.; HOŠEK, J.	On Perspective of Security and Privacy- Preserving Solutions in the Internet of Things.	Computer Networks	Elsevier
2016/11/14	MALINA, L.; HORVÁTH, T.; MÜNSTER, P.; HAJNÝ, J.	Security Solution with Signal Propagation Measurement for Gigabit Passive Optical Networks.	OPTIK	Elsevier
2016/11/14	MALINA, L.; HAJNÝ, J.; MLÝNEK, P.; MACHÁČEK, J.; SVOBODA, R.	Towards Efficient Application of Cryptographic Schemes on Constrained Microcontroller.	JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS	JCSC
2016/11/14	HAJNÝ, J.; DZURENDA, P.; MALINA, L.	Multi- Device Authentication using Wearables and IoT.	SECRYPT 2016. Lisbon, Portugal	TBA
2016/11/14	MARTINÁSEK, Z.; ZEMAN, V.; MALINA, L.; MARTINÁSEK, J.	k- Nearest Neighbors Algorithm in Profiling Power Analysis Attacks.	Radioengineering	TBA
2016/10/24	CAMENISCH, J.; DRIJVERS, M.; HAJNÝ, J.	Scalable Revocation Scheme for Anonymous Credentials Based on n- times Unlinkable Proofs	CCS WPES 2016, Vienna, AT	TBA
2016/03/14	OMETOV, A.; MAŠEK, P.; MALINA, L.; FLOREA, R.; HOŠEK, J.; ANDREEV, S.; HAJNÝ, J.; NIUTANEN, J.; KOUCHERYAVY, Y.	Feasibility Characterization of Cryptographic Primitives for Constrained (Wearable) IoT Devices	IEEE International Conference on Pervasive Computing and Communications (PerCom). 2016, Sydney, AU	TBA
2015/11/01	HAJNÝ, J.; DZURENDA, P.; MALINA, L.	Privacy-Enhanced Data Collection Scheme for Smart- Metering	INSCRYPT 2015, Beijing, China	Springer
2015/10/30	MALINA, L.; HAJNÝ, J.; ZEMAN, V.	Light-weight group signatures with time- bound membership	Security and Communication Networks	Wiley
2015/08/01	HAJNÝ, J.; MALINA, L.; DZURENDA, P.	Secure Physical Access Control with Strong Cryptographic Protection	SECRYPT 2015. Colmar, France	ScitePress
2015/08/01	MALINA, L.; MÜNSTER, P.; HAJNÝ, J.; HORVÁTH, T.	Towards Secure Gigabit Passive Optical Networks	SECRYPT 2015. Colmar, France	ScitePress
2015/07/10	HAJNÝ, J.; DZURENDA, P.; MALINA, L.	Attribute- based credentials with cryptographic collusion prevention.	Security and Communication Networks	Wiley
2015/02/01	MALINA, L.; HAJNÝ, J.; DZURENDA, P.; ZEMAN, V.	Privacy- preserving security solution for cloud services.	Journal of Applied Research and Technology	JART
2014/11/14	MALINA, L.; VIVES-GUASCH, A.; CASTELLA-ROCA, J.; VIEJO, A.; HAJNÝ, J.	Efficient Group Signatures for Privacy- Preserving Vehicular Networks	Telecommunication Systems	Springer
2014/11/03	HAJNY, J.; DZURENDA, P.; MALINA, L.	Privacy-PAC: Privacy-Enhanced Physical Access Control	CCS 2014, Scottsdale, USA	ACM
2014/08/27	HAJNY, J.; MALINA, L.; TETHAL, O.	Privacy-Friendly Access Control Based on Personal Attributes	IWSEC 2014, Hirosaki, Japan	Springer
2013/11/27	MARTINASEK, Z.; HAJNY, J.; MALINA, L.	Optimization of Power Analysis Using Neural Network	CARDIS 2013, Berlin, Germany	Springer
2013/10/21	Malina, L., Clupek, V., Martinasek, Z., Hajny, J., Oguchi, K., Zeman, V.	Evaluation of Software-Oriented Block Ciphers on Smartphones.	In Foundations and Practice of Security, FPS 2013, La Rochelle, France	Springer
2013/09/12	HAJNY, J.; MALINA, L.; MARTINASEK, Z.; TETHAL, O.	Performance Evaluation of Primitives for Privacy-Enhancing Cryptography on Current Smart-cards and Smart-phones	ESORICS DPM 2013, Egham, UK	Springer
2013/08/31	MALINA, L.; HAJNY, J.	Privacy-preserving framework for geosocial applications	Security and Communication Networks	Wiley
2013/08/30	MALINA, L.; HAJNY, J.	Efficient modular multiplication for programmable smart-cards	Telecommunication Systems	Springer
2013/07/30	MALINA, L.; HAJNY, J.; MARTINASEK, Z	Efficient Group Signatures with Verifier- local Revocation Employing a Natural Expiration.	Secrypt 2013, Reykjavik, Iceland	To be added
2013/07/30	HAJNY, J.; MALINA, L.; MARTINASEK, Z.; ZEMAN, V.	Privacy-preserving SVANETs	Secrypt 2013, Reykjavik, Iceland	SCITEPRESS
2012/12/11	HAJNY, J.; MALINA, L.	Unlinkable Attribute-Based Credentials with Practical Revocation on Smart-Cards	CARDIS 2012, Graz, Austria	Springer
2012/10/02	HAJNY, J.; MALINA, L.	Anonymous Credentials with Practical Revocation	Security and Privacy Special Track at the IEEE-AESS Conference in Europe about Space and Satellite Communications (ESTEL)	IEEE
2012/10/25	MALINA, L.; CASTELLA-ROCA, J.; VIVES-GUASCH, A.; HAJNY, J.	Short-term Linkable Group Signatures with Categorized Batch Verification	The Foundations & Practice of Security (FPS) Symposium 2012, Montreal, Canada	Springer
2012/10/21	MALINA, L.; HAJNY, J.; ZEMAN, V.	Group Signatures for Secure and Privacy Preserving Vehicular Ad Hoc Networks	The 8th ACM International Symposium on QoS and Security for Wireless and Mobile Networks, Paphos, Cyprus	ACM
2012/09/03	HAJNY, J.; MALINA, L.	Practical Revocable Anonymous Credentials	13th Joint IFIP TC6 and TC11 Conference on Communications and Multimedia Security - CMS 2012, Canterbury, UK	Springer
2011/18/18	MALINA, L.; HAJNY, J.	Accelerated Modular Arithmetic for Low- Performance Devices	34th International Conference on Telecommunications and Signal Processing, Budapest, Hungary	IEEE
2011/07/18	HAJNY, J.; MALINA, L.; ZEMAN, V.	Practical Anonymous Authentication: Designing Anonymous Authentication for Everyday Use	Secrypt 2011, Seville, Spain	DBLP
2011/07/12	HAJNY, J.; ZEMAN, V.	Anonymous Authentication with Spread Revelation	Cryptologia	Taylor & Francis

---

Workshops

The 2nd SecTools workshop 2023

The second SecTools workshop is located at CVUT-FIT in Prague 18. 9. 2023.

The workshop program 11:30 – 15:00:

• Introduction and introduction of the participants.
• Presentation of project activities in 2023.
• Presentation of results and other activities.
• Presentation of activities in project stages:
  1) Presentation of stages 11 and 12: Zdeněk Martinásek, Petr Jedlička BUT.
  2) Presentation of stages 9 and 10: Petr Švenda MU.
  3) Presentation of stages 7 and 8: Martin Novotný CVUT.
• Afternoon program: discussion on SW analyzers with AG NÚKIB (Petr Švenda and Ján Jančár MU).

The presentations can be downloaded from the link (for the password please contact the project manager: Zdenek Martinasek at martinasek@vut.cz).

---

Software List

• Software: Modular Arithmetic Library for .NET Cards 
• Software: Experimental Implementation of Modular Arithmetic Operations on the MultOS Smart Cards
  
• Software: Secured Client – Server Messenger with Scalable Authentication
  
• Software: Attribute Authentication Verifier for Smartphones
  
• Software: Attribute Authentication Client for iOS
  
• Software: DPA Contest v4 Attack
  
• Software: Group Signatures Library
  
• Software: IKE_PSK_SAM_v1
  
• Software: libABC
  
• Software: Android mobile application for access control system
  
• Software: Smart Card Based Authentication Software
  
• Software: Secure Access Module Based Authentication – Verifier Software
  
• Software: Symmetric encryption on the FPGA card
  
• Hardware cryptographic demonstrator
  
• Cryptographic objects as externs in Netcope P4 compiler
  
• Verification framework for user systems with integrated cryptographic P4 externs
  
• Secure Cloud Storage System for Digital Evidence (CSDE)

• ---

  Software: Modular Arithmetic Library for .NET Cards

  Authors

  Ing. Lukas Malina (malina@vut.cz)
  Ing. Jan Hajny (hajny@vut.cz)

  Download

  It is possible to download the software (limited version) here.

  Read more

  Publication to be cited

  MALINA, L.; HAJNY, J. Accelerated Modular Arithmetic for Low-Performance Devices. In 34th International Conference on Telecommunications and Signal Processing (TSP 2011). 2011 s. 1-5. ISBN: 978-1-4577-1409-2.

  Project

  The software (Modular Arithmetic Library for .NET Cards) was sponsored by the Technology Agency of the Czech Republic (project TA02011260).

  Description

  The implemented Modular Arithmetic Library provides  basic mathematical operations such as addition, subtraction, multiplication, and exponentiation of large integers (from 0 to 1024 bits -limited version, to 2048 bits –full version) on the .NET Smart Cards. The library brings the missing arithmetic operations with large integers onto the .NET Smart Card platform that allows to build own algorithms which require modular arithmetic. The examples of such algorithms are advanced cryptographic schemes, anonymous authentication systems, etc.  Also, the library includes an efficient algorithm for multiplication of large integers. The library (full version) uses advanced algorithms to achieve efficient multiplication of numbers in the range 0 to 2048 bitlength, see results in the related citation.

  The graphical user interface (developed in C#/.NET 3.5) is used for testing and verification of implemented operations. You can test the time-performance of individual operations that are calculated by the library on a smart card using the implemented modular arithmetic algorithms. These methods within the library have a public access modifier, so the methods may be used by other applications.

  In the package, you can find a test application with graphical user interface (Program.exe), and the compiled library implementation with modular arithmetic (Server.exe) which is ready to be imported on a smart card. For more detailed instructions about installation and operation see the Read Me document inside in zip file.

  If you are interested in more info, please contact authors.

  License

  This software is licensed as closed source software under exclusive legal right of the copyright holder. The software is free for personal use only. For more information about the license, please contact:

  Technology Transfer Office Brno University of Technology

  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Software: Experimental Implementation of Modular Arithmetic Operations on the MultOS Smart Cards

  Authors

  Ing. Lukas Malina (malina@vut.cz)
  Ing. Jan Hajny (hajny@vut.cz)

  Download

  It is possible to download the software here.

  Read more

  
  

  Project

  The software was sponsored by the Technology Agency of the Czech Republic (project TA02011260).

  Description

  This software consists of the main application with a graphical user interface and a test implementation of modular arithmetic operations running on MultOS cards. The test implementation is developed in C language, limited to the platform MultOS.

  The main program (developed in Java) provides a user interface for communication with the chip cards, MultOS or JAVA. The aim is to provide middleware which ensures the communication between the card reader and chip card. The user can put data directly into the graphical user interface and display the results processed on the card. The main program is used as a handler for calling the methods of application that is imported on the Multos smart card. Either contact or non-contact smart cards are supported.

  The application also offers testing of modular arithmetic operations on chosen MultOS cards. These operations running on the card are measured and the results are used as reference points for the further optimization of these operations run on the MultOS smart cards.

  In this software package, you can find the main application with a graphical user interface (dir: dist Multos_M.jar) and two compiled test implementations in two versions for contact cards (dir: CARDC0) and non-contact cards (dir: CARDCL). The test implementation of attribute authentication is marked aa719. The test implementation of modular arithmetic is marked ma719. alu.

  For both test implementations, individual certificates for loading (*.ALR) and deleting (*.ADR) are attached to the contact and non-contact card MultOS versions. To import a test implementation (alu), we recommend to download the freely available utility Mutil (http://www.multos.com/developer_centre/tools_and_sdk/), where you can import the  *.alu  along with the certificate *.ALR using the “load live”. For more detailed instructions about installation and operation, see document Read Me inside in zip file.

  If you are interested in more info, please contact authors.

  License

  This software is licensed as closed source software under exclusive legal right of the copyright holder. The software is free for personal use only. For more information about the license, please contact:
  Technology Transfer Office
  Brno University of Technology
  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Software: Secured Client – Server Messenger with Scalable Authentication

  Authors

  Ing. Lukas Malina (malina@vut.cz)
  Ing. Zdenek Martinasek (martinasek@vut.cz)

  Read more

  
  

  Project

  The software was sponsored by the project FR-TI4/647.

  Description

  This
  software provides the secure client-server transmission of messages,
  the scalable authentication of entities (a client and a server), a
  secret key establishment and the variable encryption of transmitted
  data. The software is developed in JAVA and consists of two applications
  with graphical user interfaces. The application Client represents a
  client device (a remote PC, an external adapter, etc.) which is securely
  connected to an integration server. Client can securely communicate
  through the TCP / IP protocol. The application Server represents the
  integration server that authenticates clients, collects income messages
  and sends response messages. The software supports three protocols of
  authentication: the light version (a HOTP method), the medium version (a
  HOPT method and a key exchange via using asymmetric cryptography) and
  the robust version (certificates and a key exchange via using asymmetric
  cryptography).

  
  

  If you are interested in more info, please contact authors.

  License

  This software is used by TTC Telekomunikace s. r. o. as the result of
  research project FR-TI4/647. For more information about the license,
  please contact:

  Technology Transfer Office
  Brno University of Technology

  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Software: Attribute Authentication Verifier for Smartphones

  Authors

  Ing. Lukas Malina (malina@vut.cz)
  Ing. Jan Hajny (hajny@vut.cz)

  Download

  It is possible to download the software (version 0.9) here.

  Read more

  Publication to be cited

  [1]
  HAJNY, J.; MALINA, L. Unlinkable Attribute-Based Credentials with
  Practical Revocation on Smart- Cards. In Smart Card Research and
  Advanced Applications. Lecture Notes in Computer Science. LNCS. Berlin:
  Springer- Verlag, 2013. pp. 62-76. ISBN: 978-3-642-37287- 2. ISSN: 0302-
  9743.
  

  Project

  The software was sponsored by the project FEKT-S-11-15.

  Description

  This
  software consists of two applications, the Verifier and the Client. The
  Verifier is the main application with a graphical user interface. The
  software serves especially as a tool for a verifier entity in the
  attribute authentication system [1]. The verifier can verify personal
  attributes that serve as client’s authentication tokens to access a
  service. Basic principle is depicted in Figure 1. Attribute
  authentication systems allow the verification of individual clients
  without any loss of their personal information. The full description of
  the system and the proposed cryptographic scheme can be found in our
  publication [1]. The software also contains the client application with a
  graphical user interface developed on the Android platform.

  
  

  Figure 1. Use-case example of attribute authentication system.

  The
  verifier application provides three communication interfaces for the
  authentication of clients. The communication interfaces are NFC
  peer-to-peer communication, QR codes scanning and smart cards scanning
  via NFC. The first communication interface provides the peer-to-peer
  transmission of authentication attributes from the client to the
  verifier via short NFC messages. This transmission is possible only if
  the client uses a smartphone with a NFC module. NFC connection works
  only for small distances (< 4 cm). The second interface allows a data
  transmission using QR codes. This transmission is suitable for cases
  where the client does not have a smartphone with NFC. The successful
  transfer of QR codes depends on the quality of a camera (resolution,
  zooming, …), and a good visibility between the camera and the display
  with the QR code. The third communication interface scans chip cards
  (smartcards) via NFC module.

  If you are interested in more info, please contact authors.

  License

  In case of interest in these applications, please contact authors.
  This software is licensed as closed source software under exclusive
  legal right of the copyright holder. The software is free for personal
  use only. For more information about the license, please contact:

  Technology Transfer Office
  Brno University of Technology

  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Software: Attribute Authentication Client for iOS

  Authors

  Ing. Jan Hajny (hajny@vut.cz)
  Ing. Lukas Malina (malina@vut.cz)

  Download

  It is possible to download the software (version 0.9) here.

  Read more

  Publication to be cited

  [1] HAJNY, J.; MALINA, L. Unlinkable Attribute-Based Credentials with Practical Revocation on Smart- Cards. In Smart Card Research and Advanced Applications. Lecture Notes in Computer Science. LNCS. Berlin: Springer- Verlag, 2013. pp. 62-76. ISBN: 978-3-642-37287- 2. ISSN: 0302-9743.

  Project

  The software was sponsored by the project FEKT-S-11-15.

  Description

  The package contains the complete Xcode project of a client app that allows users to be anonymously verified as valid attribute holders. The app generates a QR code with necessary cryptographic values. The code is scanned and checked by the Verifier’s app.

  If you are interested in more info, please contact authors.

  License

  The software is free for personal use only. For more information about the license, please contact:

  Technology Transfer Office
  Brno University of Technology

  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Software: DPA Contest v4 Attack

  Authors

  Ing. Zdeněk Martinásek, Ph.D. (martinasek@vut.cz)
  Ing. Ondřej Zapletal
  Ing. Lukáš Malina, Ph.D. (malina@vut.cz)

  Download

  It is possible to download the software here.

  Read more

  Publication to be cited

  [1]
  MARTINÁSEK, Z.; HAJNÝ, J.; MALINA, L. Optimization of Power Analysis
  Using Neural Network. In Smart Card Research and Advanced Applications,
  Lecture Notes in Computer Science. Springer, 2014. s. 94-107. ISBN:
  978-3-319-08302- 5.

  Project

  The software
  (DPA_Contest_attack) was sponsored by the Ministry of Industry and Trade
  of the Czech Republic (project FR-TI4/647).

  Description

  This
  program realizes a power analysis attack for the DPA contest v4
  (http://www.dpacontest.org/v4/index.php). Target implementation is a
  masked AES-256 implemented in software on an Atmel ATMega-163 smart
  card. This implementation is called AES-256 RSM (Rotating Sbox Masking).
  Our implementation of the attack consists of two basic steps (see
  Fig.1). In the first step, the secret offset of AES RSM is revealed by
  MLP (Multi-Layer Perceptron) trained from power traces. In the second
  step, the classical differential power analysis (DPA) based on a
  correlation coefficient reveals a secret key stored in a cryptographic
  device. A target intermediate value during DPA is the output of the
  SubBytes function in the first round. The attack requires about 20 power
  traces to obtain the secret key.

  
  

  In
  the zip package, you can find an executable console application
  (DPA_Contest_attack.exe), source m-files (one for linux and one for
  windows) and an installation package. For more detailed instructions
  about the installation and running of this program see the ReadMe.txt
  document inside in the zip file.

  If you are interested in more info, please contact authors.

  License

  This
  software is licensed as the closed source software under the exclusive
  legal right of the copyright holder. The software is free for personal
  use only. For more information about the license, please contact:

  Technology Transfer Office
  Brno University of Technology

  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Software: Group Signatures Library

  Authors

  Ing. Jan Hajny (hajny@vut.cz)
  Ing. Lukas Malina (malina@vut.cz)
  Ing. Petr Dzurenda
  Martin Jaros
  Lukas Pohanka

  Download

  It is possible to download the library (limited version) here.

  Read more

  Publication to be cited

  [1]
  HAJNÝ, J.; DZURENDA, P.; MALINA, L. Privacy-Enhanced Data Collection
  Scheme for Smart-Metering. In Proceedings of the International
  Conference on Information Security and Cryptology. Lecture Notes in
  Computer Science. 2015. p. 1-18. ISSN: 0302-9743.

  Project

  The software was sponsored by the Technology Agency of the Czech Republic (project TA03010818).

  Description

  The
  software library (libGS) written in the C language enables the
  calculation of the group signature and its verification (demo version).
  Group signatures ensure data security, nonrepudation and also protects
  the privacy of signers. The library is suitable for use on both sides
  the client (the device) and the server side. The public API of the full
  version provides the following functionality: the assignment of system
  parameters of the defined values, generating client and server parts of
  the private key (the key has 2 parts), the generation and validation of
  group signatures and generating the revocation token.

  If you are interested in more info, please contact the main author (hajny@vut.cz).

  License

  The software is free for personal use only. For more information about the license, please contact:

  Technology Transfer Office
  Brno University of Technology

  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Software for authentication module using the protected storage IKE_PSK_SAM_v1

  Authors

  Ing. Lukáš Malina, Ph.D. (malina@vut.cz)
  Ing. Zdeněk Martinásek, Ph.D. (martinasek@vut.cz)

  Download

  It is possible to download the demo version here.

  Read more

  Publication to be cited

  TBA

  Project

  The software (IKE_PSK_SAM_v1) was sponsored by the Ministry of the Interior of the Czech Republic (project VI20162018036).

  Description

  The
  main features of the software is to verify the authenticity of the data
  by using a pre-shared secret key on a smart card programmable and
  provide the calculation of the encryption keys for the IPSec protocol.
  Smart card hosts critical operations and secret parameters. These
  operations are performed in this secure storage. The JAVA application
  Card Handler (PC) is created in order to establish APDU communication
  with a smart card via a USB interface-based reader. The application
  presents the graphical user interface for the applet on a smart card.

  In
  the zip package, you can find an executable GUI JAVA application
  (Java_Card_Handler.exe) and java card applet (for java card with JCAPI
  2.2.2 or newer). For more detailed instructions about the installation
  and running of this program see the ReadMe.txt document inside in the
  zip file.

  If you are interested in more info, please contact authors.

  License

  This
  software is licensed as the closed source software under the exclusive
  legal right of the copyright holder. The software is free for personal
  use only. For more information about the license, please contact:

  Technology Transfer Office
  Brno University of Technology

  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Software: libABC

  Authors

  Ing. Petr Dzurenda (dzurenda@vut.cz)
  doc. Ing. Jan Hajný, Ph.D. (hajny@vut.cz)

  Download

  It is possible to download the software here.

  Read more

  Project

  The software was sponsored by the project GACR GP14-25298P

  Description

  This
  software implements group signatures HM12, Schnorr Signature, Weak-BS
  signature and efficient proof of knowledge of Weak-BS signature. The
  software allows benchmarking of these signatures. For more info read the
  manual.

  If you are interested in more info, please contact authors.

  License

  For more information about the license, please contact:

  Technology Transfer Office
  Brno University of Technology

  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Software: Android mobile application for access control system

  Authors

  Ing. Petr Dzurenda (dzurenda@vut.cz)
  doc. Ing. Jan Hajný, Ph.D. (hajny@vut.cz)

  Download

  To get the software, please contact IMA, s.r.o.

  Read more

  Project

  The software was sponsored by the project TAČR TA04010476.

  Description

  This software implements user authentication protocols for access control systems using a mobile phone.

  If you are interested in more info, please contact authors.

  License

  For more information about the license, please contact:

  Technology Transfer Office
  Brno University of Technology

  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Software: Smart Card Based Authentication Software

  Authors

  Ing. Lukáš Malina, Ph.D. (malina@vut.cz),
  Ing. Petr Dzurenda (dzurenda@vut.cz),
  Ing. David Smékal (smekald@vut.cz),
  Ing. Jakub Konečný (xkonec58@vut.cz),
  Ing. Švehlák Milan (milansvehlak@gmail.com),
  Doc. Ing. Jan Hajný, Ph.D. (hajny@vut.cz),
  prof. Ing. Kamil Vrba, CSc. (vrbak@vut.cz)

  Download

  To get the free demo version for non-commercial purposes, please contact the corresponding author (Lukas Malina, email: malina@vut.cz).
  To get the full version for commercial purposes, please contact the corresponding author (Lukas Malina, email: malina@vut.cz).

  Read more

  Project

  This software was financed by the Ministry of Interior under grant VI20162018003.

  Description

  The
  software “Smart Card Based Authentication Software” implements an
  advanced authentication protocol for access control systems based on
  smart card platforms (Basic Cards and MultOS Cards). The authentication
  protocol is based on a zero-knowledge protocol and provides strong
  security level (NIST 2016-2030 and beyond). The protocol on the cards
  provides 8 security versions including ECC versions (ECC up to 512b).
  The user with smart cards with installed card applications can be
  verified via USB card readers by the JAVA Smart card handler application
  that run on PC.
  On this site, we present a description of software
  that contains runnable JAVA application providing basic graphical user
  interface (see a figure below) and two compiled Multos card application
  (version ECC 256) for developer Multos cards. The full version is
  protected under a license and is available on demand (please use the
  contact email). The full version contains runnable JAVA application,
  compiled Multos card applications for all versions and Basic card
  application supporting all protocol versions (1024, 2048, 3072, ECC192,
  ECC 224, ECC 256, ECC 384, ECC 512). For further information about card
  compatibilities and GUI please read read-me files inside the SW package.
  The main parts of SW package are:
  – GUI JAVA application: Smart card handler application – Manager
  – Basic Card application (all versions in one app) *only in full version
  – Multos Card applications (two apps for v3072 and other versions)
  o mvcr-ima-2017-USER-v3072.alu
  o mvcr-ima-2017-USER.alu
  – read me files and supported SW for upload app on the Multos Cards

  If you are interested, please contact the correspond author: Lukas Malina (malina@vut.cz).

  
  

  License

  For more information about the license, please contact:

  Technology Transfer Office
  Brno University of Technology

  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Secure Access Module Based Authentication – Verifier Software

  Authors

  Ing. Lukáš Malina, Ph.D. (malina@vut.cz),
  Ing. Petr Dzurenda (dzurenda@vut.cz),
  Ing. Pavel Kristof (pavel.kristof@ima.cz),
  Ing. Vlastimil Beneš (vlastimil.benes@ima.cz),
  Ing. Jakub Frolka (frolka@vut.cz),
  Ing. Tomáš Lieskovan (tomas.lieskovan@vut.cz),
  prof. Ing. Kamil Vrba, CSc. (vrbak@vut.cz)

  Download

  To get the free demo version for non-commercial purposes, please contact the corresponding author (Lukas Malina, email: malina@vut.cz).
  To get the full version for commercial purposes, please contact the corresponding author (Lukas Malina, email: malina@vut.cz).

  Read more

  Project

  This software was financed by the Ministry of Interior under grant VI20162018003.

  Description

  The
  software “Secure Access Module Based Authentication – Verifier
  Software” implements an advanced authentication protocol for access
  control systems that use smart cards on the user and verifier sides. The
  software provides mainly the application for SAM that runs on the
  verifier side and provides the necessary functionality to authenticate
  users with smart cards (Basic Cards and MultOS Cards). The implemented
  authentication protocol is based on the zero knowledge protocol and
  provides a strong level of security (NIST 2016-2030 and beyond). The
  protocol in SAM contains 8 versions for different security levels,
  including ECC versions (ECC to 512b). The verifier uses the SAM module
  on which the created application for the contact chip cards runs, and
  through a graphical user interface application, it can authenticate a
  user with a smart card. The authentication JAVA application uses the
  available USB card readers and provides communication and graphical
  presentation of the results during the authentication process.
  On
  this site, we publish a description of software that contains runnable
  JAVA application – SAM Verifier providing basic graphical user interface
  (see a figure below), one compiled SAM application for Multos Cards and
  two testing compiled Multos card applications for user side with
  developer Multos cards. The full version is protected under a license
  and is available on demand (please use the contact email). The full
  version contains runnable JAVA application – SAM Verifier, compiled SAM
  Multos card applications for all versions and SAM Basic card application
  supporting all protocol versions (1024, 2048, 3072, ECC192, ECC 224,
  ECC 256, ECC 384, ECC 512) and testing user smart card applications
  (Multos and Basic). For further information about card compatibilities
  and GUI please read read-me files inside the SW package.
  The main parts (5 apps + readme) of SW package are:
  – GUI JAVA application: SAM handler application – Verifier
  – SAM Basic Card application (all versions in one app) *only in full version
  – SAM Multos Card applications (two apps for v3072 and other versions)
  o mvcr-ima-2017-SAM-v256.alu
  o mvcr-ima-2017-SAM.alu*only in full version
  – Basic Card application for a user (all versions in one app) *only in full version
  – Multos Card applications for a user (two apps for v3072 and other versions)
  o mvcr-ima-2017-USER-v3072.alu
  o mvcr-ima-2017-USER.alu
  – read me files and supported SW for upload app on the Multos Cards

  If you are interested, please contact the correspond author: Lukas Malina (malina@vut.cz).

  
  

  License

  For more information about the license, please contact:

  Technology Transfer Office
  Brno University of Technology

  E-mail: info@tt.vutbr.cz
  http://www.vutbr.cz/utt
  

  Read less

  ---

  Symmetric encryption on the FPGA card

  Authors

  Ing. David Smékal (smekal@vut.cz)
  Ing. Zdeněk Martinásek, Ph.D. (martinasek@vut.cz)
  Ing. Lukáš Malina, Ph.D. (malina@vut.cz)
  doc. Ing. Jan Hajný, Ph.D. (hajny@vut.cz)
  prof. Ing. Kamil Vrba, CSc. (vrbak@vut.cz)
  Ing. Denis Matoušek (matousek@netcope.com)

  Download

  To get the software, please contact Netcope Technologies, a.s. (info@netcope.com).

  Read more

  Project

  This software was financed by the Ministry of Interior under grant VI20162018036.

  Description

  The
  software implements the AES (Advanced Encryption Standard) algorithm
  for FPGAs (Field Programmable Gate Array) in the VHDL (Hardware
  Description Language) programming language. The software contains of the
  cryptographic core of the AES algorithm using a 128-bit key in GCM mode
  (Galois/Counter Mode). This implementation is based on the 4 duplicated
  encryption cores and employs pipelined processing in order to achieve
  full 100 Gbps encryption speed. The design is implemented and verified
  on the acceleration card NFB-100G2Q.

  If you are interested, please contact the correspond author: Zdeněk Martinásek (martinasek@vut.cz).

  License

  For more information about the license, please contact:

  To get the software, please contact Netcope Technologies, a.s. (info@netcope.com).

  Read less

  ---

  Hardware cryptographic demonstrator

  Authors

  Ing. David Smékal (smekald@vut.cz)
  Ing. Petr Jedlička (xjedli23@vut.cz)
  doc. Ing. Lukáš Malina, Ph.D. (malina@vut.cz)
  Ing. Pavel Šeda, Ph.D. (sedap@vut.cz)
  Ing. Patrik Dobiáš (xdobia13@vutbr.cz)
  prof. Ing. Kamil Vrba, CSc. (vrbak@vut.cz)
  Ing. Peter Cíbik (xcibik00@vutbr.cz / cibik@magmio.com)
  Ing. Jakub Hrabovský (hrabovsky@magmio.com)

  Download

  To get the software, please contact MAGMIO, a.s. (info@magmio.com).

  Read more

  Project

  This software was financed by the Ministry of Interior under grant VI20192022126.

  Description

  The software represents a library of cryptographic primitives for the FPGA platform as P4 externs (short name: Hardware cryptographic demonstrator; designation: CRYPTOACCEL). It is an implementation of all basic cryptographic mechanisms (i.e. symmetric block ciphers, asymmetric digital signature, hash function and postquantum digital signature) on the FPGA platform in VHDL (VHSIC Hardware Description Language) so that they can be used modularly as externs in language P4, which will allow them to be easily used even by users lacking experience in hardware development, without a negative effect on the performance of the implementation.

  If you are interested, please contact the correspond author: Lukáš Malina (malina@vut.cz).

  License

  For more information about the license, please contact:

  To get the software, please contact Magmio, a.s. (info@magmio.com).

  Read less

  ---

  Cryptographic objects as externs in Netcope P4 compiler

  Authors

  Ing. Peter Cíbik (xcibik00@vutbr.cz / cibik@magmio.com)
  Bc. Petr Ohnút (ohnut@magmio.com)
  Mychajlo Novikov (novikov@magmio.com)
  Ing. Jakub Hrabovský, Ph.D. (hrabovsky@magmio.com)

  Download

  To get the software, please contact MAGMIO, a.s. (info@magmio.com).

  Read more

  Project

  This software was financed by the Ministry of Interior under grant VI20192022126.

  Description

  The software represents a solution for support of various cryptographic objects as P4 externs in Netcope P4 compiler. The solution provides the interface specification and implementation of top modules as well as wrappers in VHDL (VHSIC Hardware Description Language) for each of the common cryptographic primitives (symmetric cipher AES-GCM-256, asymmetric digital signature EdDSA, keyed-hash message authentication code HMAC-SHA3-512, hash functions SHA3-256 and SHA3-512) in order to integrate them into P4 pipeline through Netcope P4 compiler. Furthermore, this extension allows users to integrate their own implementations of various cryptographic primitives into Netcope P4 compiler in the form of cryptographic externs, which can be then directly used in P4 source code.

  If you are interested, please contact the Magmio a.s. (info@magmio.com).

  License

  For more information about the license, please contact:

  To get the software, please contact Magmio, a.s. (info@magmio.com).

  Read less

  ---

  Verification framework for user systems with integrated cryptographic P4 externs

  Authors

  Ing. Peter Cíbik (xcibik00@vutbr.cz / cibik@magmio.com)
  Bc. Petr Ohnút (ohnut@magmio.com)
  Mychajlo Novikov (novikov@magmio.com)
  Ing. Jakub Hrabovský, Ph.D. (hrabovsky@magmio.com)

  Download

  To get the software, please contact MAGMIO, a.s. (info@magmio.com).

  Read more

  Project

  This software was financed by the Ministry of Interior under grant VI20192022126.

  Description

  The software represents a set of tools for automatic verification of FPGA firmware created by Netcope P4 compiler in the translation process of user P4 source code, which contains any of the supported cryptographic externs. Verification framework supports all common cryptographic primitives (symmetric cipher AES-GCM-256, asymmetric digital signature EdDSA, keyed-hash message authentication code HMAC-SHA3-512, hash functions SHA3-256 and SHA3-512). Framework includes a tool for automatic generation of testing samples exported into pcap files with the usage of reference implementations of related cryptographic functions, a tool for detailed comparison of various samples, a tool for automatic build of FPGA firmware, and main tool for automatic functional verification of FPGA firmware directly in the FPGA card. Verification of any custom system with cryptographic externs in P4 becomes simple by the application of the listed tools included in the framework without a need for any knowledge of FPGA technology

  If you are interested, please contact the Magmio a.s. (info@magmio.com).

  License

  For more information about the license, please contact:

  To get the software, please contact Magmio, a.s. (info@magmio.com).

  Read less

  ---

  Secure Cloud Storage System for Digital Evidence (CSDE)

  Authors

  Ing. Petr Muzikant (xmuzik08@vut.cz)

  doc. Ing. Lukáš Malina, Ph.D. (malina@vut.cz)

  Ing. Petr Dzurenda, Ph.D. (dzurenda@vut.cz)

  doc. Ing. Jan Hajný, Ph.D. (hajny@vut.cz)

  RNDr. Antonín Dufka (445281@mail.muni.cz)

  doc. RNDr. Petr Švenda, Ph.D. (xsvenda@fi.muni.cz)

  Mgr. Václav Stupka, Ph.D. (stupka@ics.muni.cz)

  Download

  To get the software, please contact VUT AXE (axe@vut.com).

  Read more

  Project

  This software was financed by the Ministry of Interior under grant VJ01010084.

  Description

  Software entitled Secure Cloud Storage System for Digital Evidence (CSDE) represents a new secure storage system for preserving electronic evidence. The system integrates a number of created submodules and an extension of the cloud open-source platform Nextcloud, which has been programmatically modified and expanded. These extensions were created to transform the basic version of Nextcloud into a specialized storage for electronic evidence. The expanding submodules enhance access security, ensure the long-term integrity of stored data, and apply modern cryptography (multi-party signatures, post-quantum cryptography).

  If you are interested, please contact AXE (axe@vut.com).

  License

  For more information about the license, please contact: AXE (axe@vut.com).

  To get the software, please contact AXE (axe@vut.com).

  Read less

  

  

  ---