Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
people:mukrop [2017-12-24 22:35] – [Randomness evaluation] xukrop | people:mukrop [2018-09-03 09:30] – xukrop | ||
---|---|---|---|
Line 3: | Line 3: | ||
< | < | ||
<col xs=" | <col xs=" | ||
- | {{: | + | {{: |
< | < | ||
Line 20: | Line 20: | ||
</ | </ | ||
<col xs=" | <col xs=" | ||
- | ====== | + | ====== |
- | <TEXT size="x-large"> | + | <TEXT size=" |
**Security researcher** and **Ph.D. candidate** at the [[https:// | **Security researcher** and **Ph.D. candidate** at the [[https:// | ||
</ | </ | ||
Line 30: | Line 30: | ||
</ | </ | ||
- | <TEXT size=" | + | ==== My research ==== |
- | Making security usable for IT professionals (developers, | + | |
- | Red Hat, FSS | + | My current research is about making security usable for IT professionals (developers, system administrators and such) that lack a specialized training in computer security. I focus on cryptographic interfaces (both programmable and command-line) of developer tools and software libraries. Currently, the emphasis is placed on X.509-capable libraries, such as OpenSSL, GnuTLS and NSS, paying special attention to the process of certificate creation and validation. |
- | </ | + | |
- | ==== Randomness evaluation ==== | ||
- | |||
- | <TEXT size=" | ||
Before coming to usable security I was interested in randomness testing and helped develop the [[https:// | Before coming to usable security I was interested in randomness testing and helped develop the [[https:// | ||
- | It can be utilized as randomness testing tool similar to statistical batteries (NIST STS, Dieaharder, TestU01), for instance for analysis of cryptographic function outputs. It uses supervised | + | |
- | </TEXT> | + | I'm a Ph.D. candidate |
+ | My research efforts are supported by [[http:// | ||
+ | Furthermore, | ||
==== Teaching and supervision ==== | ==== Teaching and supervision ==== | ||
- | <TEXT size=" | + | |
I see deep meaning and responsibility in teaching and have been tutoring seminars and lecturing a few courses for more than 5 years. | I see deep meaning and responsibility in teaching and have been tutoring seminars and lecturing a few courses for more than 5 years. | ||
- | I participate in some security courses ([[https:// | + | I participate in some security courses ([[https:// |
- | Finally, I am still very fond of functional programming (Haskell in particular) | + | More importantly, I am much engaged in the local community of student teachers called **Teaching lab** aiming to improve the courses and skills |
- | + | ||
- | I have supervised multiple bachelor theses in the fields of computer security, functional programming and programming education. | + | |
- | </ | + | |
</ | </ | ||
</ | </ | ||
~~CLEARFIX~~ | ~~CLEARFIX~~ | ||
+ | |||
+ | ==== Other activities ==== | ||
+ | |||
+ | I'm an avid member of the the organization for experiential learning called [[https:// | ||
+ | |||
+ | I co-organize(d) multiple activities bringing enthusiasm for informatics natural sciences to secondary-school students. This includes the online programming puzzle hunt [[https:// | ||
+ | |||
===== My publications ===== | ===== My publications ===== | ||
{{section> | {{section> | ||
+ | |||
+ | /* DevConf 2018 bio | ||
+ | Security researcher and Ph.D. candidate at the Centre for Research on Cryptography and Security at Masaryk University, Czech Republic. My research efforts are also supported by Red Hat Czech. | ||
+ | |||
+ | I aim to make security usable for IT professionals that lack a specialized training in computer security. I focus on cryptographic interfaces (both programmable and command-line) of developer tools and software libraries. | ||
+ | |||
+ | Previously interested in randomness testing and helped develop the EACirc project, the automatic problem solver based on circuit-like representation and genetic programming. | ||
+ | |||
+ | Passionate about teaching and experiential learning, actively organizing educational events in the community " | ||
+ | */ | ||
+ | |||
+ | /* RSA-CT 2018 bio | ||
+ | Researcher trying to make security usable for all, previously interested in randomness analysis. Passionate about teaching and experiential learning. Ceaselessly fascinated by the world. | ||
+ | */ |