Filters
Analysis of formal security of cryptographic protocols (ST20092009006)
Security analysis and design of acceptable software tool for carrying out cryptographic protocols analysis....
IN - Informatika
- 2009 - 2009 •
- 94 tis. Kč •
- 94 tis. Kč •
- NBÚ
Řešení projektu: 27. 4. 2009 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Národní bezpečnostní úřad
Analysis and processing of VoIP IPv4 and IPv6 protocol based data structures (VF20132015032)
(Voice over Internet Protocol, voice to use Internet Protocol) protocol IPv4 and IPv6 means of identification, analysis and automated processing of data structures based transmission protocols.......
JC - Počítačový hardware a software
- 2013 - 2015 •
- 10 415 tis. Kč •
- 10 415 tis. Kč •
- MV
Řešení projektu: 1. 7. 2013 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo vnitra
Systems for Identification and Processing of Signaling and Transmission Protocols (VF20132015029)
for identification, analysis and processing of signaling and transmission protocols. The research and signaling protocols; use research and development procedures to design, implement. Analysis of the current sign...
IN - Informatika
- 2013 - 2015 •
- 8 520 tis. Kč •
- 8 520 tis. Kč •
- MV
Řešení projektu: 25. 5. 2013 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo vnitra
Experimetnally-oriented Device Independent CrypTography (8C20005)
. The objectives of the project are: 1) To improve mathematical methodology for analysis of Bell inequalities and analysis of cryptographic protocols. The key assessment is to simplify or improve analysis of possib...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2024 •
- 6 149 tis. Kč •
- 5 914 tis. Kč •
- MŠMT
Řešení projektu: 1. 3. 2020 - 30. 6. 2024
Uznané náklady
Podpora ze státního rozpočtu (96%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Advanced behavioural models of application layer for effective analysis of traffic in business networks (TJ01000381)
of application protocols. These methods will use modern methods of behavioural analysisThe Project focuses on the intelligent analysis of enterprise network traffic of the most commonly used Hypertext Transfer and Server M...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2019 •
- 3 814 tis. Kč •
- 3 205 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2018 - 30. 6. 2019
Uznané náklady
Podpora ze státního rozpočtu (84%)
Poskytovatel: Technologická agentura ČR
Privacy preserving security protocols and intrusion detection for wireless sensor networks (GAP202/11/0422)
Networks (WSNs). This project focuses on the following three related areas. 1. Analysis privacy protection protocols reflecting the changes. 2. Proposal for a framework for particularWSNs with a particular topology, sensor nodes ca...
IN - Informatika
- 2011 - 2014 •
- 6 090 tis. Kč •
- 5 490 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (90%)
Poskytovatel: Grantová agentura České republiky
Applied research and development of a department to be in charge of cryptographic systems design and analysis (ST20092009002)
Applied research and analysis of modern cryptographic algorithms and protocols based on elliptic curves and special mathematic structures.......
JC - Počítačový hardware a software
- 2009 - 2009 •
- 580 tis. Kč •
- 580 tis. Kč •
- NBÚ
Řešení projektu: 16. 4. 2009 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Národní bezpečnostní úřad
Quantum entanglement and cryptographic and computation primitives (GP201/06/P338)
. The first one is the analysis of existing quantum cryptographic primitives and design of new primitives. The second area is the analysis of the role of quantum entanglement in quantum primitives such as quantum communication p...
IN - Informatika
- 2006 - 2008 •
- 453 tis. Kč •
- 453 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Practical multi-user secure quantum communication (GN22-28254O)
protocols and techniques. The security of current trusted-node quantum networks relies on theoretical composable security of point-to-point two-user protocols. The practical implementation-centered security analysis of mul...
Optics (including laser optics and quantum optics)
- 2022 - 2025 •
- 4 794 tis. Kč •
- 4 794 tis. Kč •
- GA ČR
Řešení projektu: 1. 10. 2022 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Thinking aloud as a research method in thinking (IAA7025401)
to the analysis of obtained experimental protocols by the means of computer programs for both qualitative and quantitative analysis of documents. When studying the thinking of experimental psychology, especially by the psy...
AN - Psychologie
- 2004 - 2006 •
- 682 tis. Kč •
- 337 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2004 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (49%)
Poskytovatel: Akademie věd České republiky
- 1 - 10 out of 10 280