116 reputation
5
bio website mdxn.org
location Ann Arbor, MI
age 23
visits member for 1 year, 1 month
seen Aug 28 at 22:05

I am a Theoretical Computer Science Student at The University of Michigan.

My primary fields of interest include theoretical computer science, pure mathematics, cryptography, and cyber security. Other interests outside these fields include Constitutional Law, Physics, and Philosophy.


Oct
30
comment Logics for Cryptographic Information Games
Would it be possible to move this to cs.se? I'd like to see if it gets any luck there.
Oct
30
awarded  Supporter
Oct
23
comment Logics for Cryptographic Information Games
@JohnDeters I am hoping for some good, existing results, but it appears as if no one has really gone the full way yet. They have some dynamic-epistemic logics that consider security and information exchange, but do not consider crypto to the same degree as a logic like BAN, PCL, or CPL. I would hate to become one of those guys that make a new logic (world is flooded with these) that is never used, but I may have little choice.
Oct
23
awarded  Editor
Oct
23
revised Logics for Cryptographic Information Games
added 519 characters in body
Oct
23
comment Logics for Cryptographic Information Games
@e-sushi The time traveller problem was just an example/sample problem that involved temporal/epistemic reasoning regarding knowledge and secrets. I could swap out the time traveller aspect with an adversary that has at least all the information that another agent/player knows (or remove it completely). The real question is in the middle (the question section), which asks for resources and research describing cryptographic information games. The approach I am looking for is via mathematical logic, which is why it is considered theoretical. I'll update the question to be more clear.
Oct
22
awarded  Student
Oct
22
comment Logics for Cryptographic Information Games
If this is outside the scope of crypto.se, please migrate it to cs.se.
Oct
22
asked Logics for Cryptographic Information Games
Oct
22
awarded  Informed
Sep
21
awarded  Autobiographer