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:52] – xukrop | people:mukrop [2020-09-17 10:15] – xukrop | ||
---|---|---|---|
Line 1: | Line 1: | ||
~~NOTOC~~ | ~~NOTOC~~ | ||
- | <grid> | + | <row> |
<col xs=" | <col xs=" | ||
- | {{: | + | AAA |
+ | </ | ||
+ | <col xs=" | ||
+ | ====== RNDr. Martin Ukrop ====== | ||
+ | </ | ||
+ | |||
+ | <col xs=" | ||
+ | {{: | ||
< | < | ||
Line 16: | Line 23: | ||
{{https:// | {{https:// | ||
{{fa> | {{fa> | ||
- | {{fa> | + | {{fa> |
</ | </ | ||
</ | </ | ||
<col xs=" | <col xs=" | ||
- | ====== Mgr. Martin Ukrop ====== | ||
<TEXT size=" | <TEXT size=" | ||
**Security researcher** and **Ph.D. candidate** at the [[https:// | **Security researcher** and **Ph.D. candidate** at the [[https:// | ||
- | </ | ||
- | |||
- | ==== Usable security ==== | ||
- | |||
- | <TEXT size=" | ||
- | My research is about making security usable for IT professionals (developers, | ||
</ | </ | ||
Line 36: | Line 36: | ||
</ | </ | ||
- | ==== Academic and industrial cooperation | + | ==== My research |
+ | |||
+ | My current research is about making security usable for IT professionals (developers, | ||
+ | |||
+ | Before coming to usable security I was interested in randomness testing and helped develop the [[https:// | ||
- | <TEXT size=" | ||
I'm a Ph.D. candidate supervised by Vashek Matyas. | I'm a Ph.D. candidate supervised by Vashek Matyas. | ||
My research efforts are supported by [[http:// | My research efforts are supported by [[http:// | ||
Furthermore, | Furthermore, | ||
- | </ | ||
- | ==== Randomness evaluation | + | ==== Teaching and supervision |
- | + | ||
- | <TEXT size=" | + | |
- | 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 learning techniques based on metaheuristics to construct adapted distinguisher of two input data streams. The distinguisher can be represented as hardware-like circuits or algebraic polynomial. | + | |
- | </ | + | |
- | ==== 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. | + | |
- | </ | + | |
</ | </ | ||
- | </grid> | + | </row> |
~~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. | ||
+ | */ | ||
+ | |||
+ | /* DevConf 2020 bio | ||
+ | Passionate about usable security, user experience, teaching and experiential learning. Actively organizing educational events in the community " | ||
+ | */ | ||
+ | |||
+ | /* Red Hat research day 2020 bio | ||
+ | A Ph.D. candidate at the Centre for Research on Cryptography and Security at Masaryk University focusing on usable security from the developers' | ||
+ | */ |