Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revisionBoth sides next revision
people:mukrop [2017-12-24 22:04] xukroppeople:mukrop [2017-12-24 22:35] – [Randomness evaluation] xukrop
Line 5: Line 5:
 {{:people:ukrop-profile.jpg?400|Martin Ukrop}} {{:people:ukrop-profile.jpg?400|Martin Ukrop}}
  
-<well align="center"><TEXT size="large">+<well><TEXT align="center" size="large" type="primary"
 +"Not everything that can be counted counts. 
 +Not everything that counts can be counted." 
 +</TEXT><TEXT type="muted" align="center"> 
 +(William Bruce Cameron) 
 +</TEXT></well> 
 +<well><TEXT size="large" align="center">
 {{fa>envelope}}\_[[mailto:mukrop@mail.muni.cz|mukrop@mail.muni.cz]]\\ {{fa>envelope}}\_[[mailto:mukrop@mail.muni.cz|mukrop@mail.muni.cz]]\\
 {{fa>list-ul}}\_[[https://scholar.google.cz/citations?user=gNXi-CYAAAAJ|Scholar]]\_\_\_ {{fa>list-ul}}\_[[https://scholar.google.cz/citations?user=gNXi-CYAAAAJ|Scholar]]\_\_\_
Line 11: Line 17:
 {{fa>code-fork}}\_[[https://github.com/mukrop|GitHub]]\\ {{fa>code-fork}}\_[[https://github.com/mukrop|GitHub]]\\
 {{fa>building}}\_Office A404, FI MUNI\\ {{fa>building}}\_Office A404, FI MUNI\\
-</TEXT></well> 
-<well><TEXT align="center"> 
-<text size="large" type="primary"> 
-"Not everything that can be counted counts. 
-Not everything that counts can be counted." 
-</text><text type="muted">(William Bruce Cameron)</text> 
 </TEXT></well> </TEXT></well>
 </col> </col>
Line 22: Line 22:
 ====== Mgr. Martin Ukrop ====== ====== Mgr. Martin Ukrop ======
  
-<TEXT size="large"> +<TEXT size="x-large"> 
-**Security researcher** and **Ph.D. candidate** at [[https://crocs.fi.muni.cz/CRoCS laboratory]][[https://muni.cz | Masaryk University]] in Brno, Czech Republic.\\+**Security researcher** and **Ph.D. candidate** at the [[https://crocs.fi.muni.cz/Centre for Research on Cryptography and Security]] at [[https://muni.cz | Masaryk University]] in Brno, Czech Republic. 
 +</TEXT>
  
-<panel type="primary" title="Aim of my research"> +<panel type="primary" title="Current aim of my research"> 
-<text size="large">"I want Help developers create more usable security APIs to lower software exploitation."</text>+<text size="large">"I want help developers create more usable security APIs to lower software exploitation."</text>
 </panel> </panel>
  
-Add research info here.+<TEXT size="large"> 
 +Making security usable for IT professionals (developers, system administrators and such) that lack a specialized training in computer security. We focus on cryptographic interfaces (APIs) of developer tools and software libraries. A recent experiment on a developer conference tried to assess the usability of OpenSSL, a well-known and widely used cryptographic library. Based on the overall results, we deem the OpenSSL usability insufficient according to both user opinions and standardized measures.
  
-feel deep meaning and responsibility in teaching and have been tutoring seminars and lecturing a few courses for more than 5 years. +Red Hat, FSS 
-have supervised several bachelor theses in the fields of functional programmingcomputer science education and usable security.+</TEXT> 
 + 
 +==== Randomness evaluation ==== 
 + 
 +<TEXT size="large"> 
 +Before coming to usable security I was interested in randomness testing and helped develop the [[https://github.com/crocs-muni/eacirc|EACirc project]], the automatic problem solver based on circuit-like representation and genetic programming. 
 +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. 
 +</TEXT> 
 +==== Teaching and supervision ==== 
 +<TEXT size="large"> 
 +see deep meaning and responsibility in teaching and have been tutoring seminars and lecturing a few courses for more than 5 years. 
 +participate in some security courses ([[https://is.muni.cz/predmet/fi/PA193|Secure coding principles and practices]] and [[https://is.muni.cz/predmet/fi/PV181|Laboratory of security and applied cryptography]]). More importantlyI am much engaged in the local community of student teachers and leading the [[https://is.muni.cz/predmet/fi/DUCIT|Teaching Lab]] course.
  
-**Courses teach**\\ +Finally, am still very fond of functional programming (Haskell in particular) and have been teaching [[https://is.muni.cz/predmet/fi/IB015|Non-Imperative Programming]] and [[https://is.muni.cz/predmet/fi/IB016|Seminar on Functional Programming]] for quite some time.
-  * [[https://is.muni.cz/predmet/fi/PA193|Secure coding principles and practices]]\\ +
-  * [[https://is.muni.cz/predmet/fi/PV181|Laboratory of security and applied cryptography]]\\ +
-  * [[https://is.muni.cz/predmet/fi/IB016|Seminar on Functional Programming]]\\ +
-  * [[https://is.muni.cz/predmet/fi/IB015|Non-Imperative Programming]]\\ +
-  * [[https://is.muni.cz/predmet/fi/DUCIT|Teaching Lab]]\\+
  
 +I have supervised multiple bachelor theses in the fields of computer security, functional programming and programming education.
 </TEXT> </TEXT>
 </col> </col>
 </grid> </grid>
 +~~CLEARFIX~~
 ===== My publications ===== ===== My publications =====
  
 {{section>publications:authors:martin-ukrop&noheader&fullpage}} {{section>publications:authors:martin-ukrop&noheader&fullpage}}