If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Kristopher Micinski is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 6 Similar Profiles
Application programs Engineering & Materials Science
Mobile devices Engineering & Materials Science
Program documentation Engineering & Materials Science
Electronic publishing Engineering & Materials Science
Symbolic Execution Mathematics
Telephone sets Engineering & Materials Science
Reverse engineering Engineering & Materials Science
Program Analysis Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2012 2019

  • 248 Citations
  • 5 h-Index
  • 5 Conference contribution
  • 1 Article

An observational investigation of reverse engineers' processes and mental models

Votipka, D., Rabin, S., Micinski, K., Foster, J. S. & Mazurek, M. L., May 2 2019, CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 3313040. (Conference on Human Factors in Computing Systems - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Program documentation
Reverse engineering
Human computer interaction
Human engineering
Engineers
10 Citations (Scopus)

User interactions and permission use on android

Micinski, K., Votipka, D., Stevens, R., Kofinas, N., Mazurek, M. L. & Foster, J. S., May 2 2017, CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire. Association for Computing Machinery, p. 362-373 12 p. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2017-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Application programs
Computer operating systems
Dynamic analysis
User interfaces
5 Citations (Scopus)

Checking interaction-based declassification policies for android using symbolic execution

Micinski, K., Fetter-Degges, J., Jeon, J., Foster, J. S. & Clarkson, M. R., Jan 1 2015, Computer Security – ESORICS 2015 - 20th European Symposium on Research in Computer Security, Proceedings. Pernul, G., Ryan, P. Y. A. & Weippl, E. (eds.). Springer Verlag, p. 520-538 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9327).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Symbolic Execution
Program Analysis
Model checking
Information Flow
Security of data
54 Citations (Scopus)

Temporal logics for hyperproperties

Clarkson, M. R., Finkbeiner, B., Koleini, M., Micinski, K. K., Rabe, M. N. & Sánchez, C., Jan 1 2014, Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 265-284 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8414 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
70 Citations (Scopus)

Distributed cooperative caching in social wireless networks

Taghizadeh, M., Micinski, K., Biswas, S., Ofria, C. & Torng, E., May 7 2013, In : IEEE Transactions on Mobile Computing. 12, 6, p. 1037-1053 17 p., 6175019.

Research output: Contribution to journalArticle

Electronic publishing
Telephone sets
Distributed computer systems
Ad hoc networks
World Wide Web

Press and Media

PrivacyCon 2018 Examines Opportunities and Challenges in IoT

Kristopher Micinski

3/8/18

1 item of Media coverage

Press/Media: Expert Comment

COOL CLASSES: "Computer Security: Attacks and Defenses"

Kristopher Micinski

2/24/18

1 item of Media coverage

Press/Media: Expert Comment