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 21:54] – [Mgr. Martin Ukrop] xukrop | people:mukrop [2017-12-24 22:53] – xukrop | ||
---|---|---|---|
Line 5: | Line 5: | ||
{{: | {{: | ||
+ | < | ||
+ | "Not everything that can be counted counts. | ||
+ | Not everything that counts can be counted." | ||
+ | </ | ||
+ | (William Bruce Cameron) | ||
+ | </ | ||
< | < | ||
{{fa> | {{fa> | ||
Line 16: | Line 22: | ||
====== Mgr. Martin Ukrop ====== | ====== Mgr. Martin Ukrop ====== | ||
- | <text size=" | + | <TEXT size=" |
- | **Security researcher** and **Ph.D. candidate** at [[https:// | + | **Security researcher** and **Ph.D. candidate** at the [[https:// |
- | </text> | + | </TEXT> |
- | <panel type=" | + | ==== Usable |
- | <text size=" | + | |
- | </ | + | |
- | Add research | + | My research |
- | === Teaching and thesis supervision === | + | <panel type=" |
+ | <text size=" | ||
+ | </ | ||
- | Add thesis | + | ==== Academic |
- | **Courses | + | I'm a Ph.D. candidate supervised by Vashek Matyas. |
- | [[https:// | + | My research efforts are supported by [[http://research.redhat.com/|Red Hat Czech]] and co-supervised by Nikos Mavrogiannopoulos. |
- | [[https://is.muni.cz/ | + | Furthermore, |
- | [[https://is.muni.cz/ | + | |
- | [[https:// | + | |
- | [[https:// | + | |
+ | ==== Randomness evaluation ==== | ||
+ | |||
+ | 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. | ||
</ | </ | ||
</ | </ | ||
+ | ~~CLEARFIX~~ | ||
+ | |||
+ | ==== Teaching and supervision ==== | ||
+ | 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:// | ||
+ | |||
+ | Finally, I am still very fond of functional programming (Haskell in particular) and have been teaching [[https:// | ||
+ | |||
+ | I have supervised multiple bachelor theses in the fields of computer security, functional programming and programming education. | ||
+ | |||
===== My publications ===== | ===== My publications ===== | ||
{{section> | {{section> |