Sort by
Refine Your Search
-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
-
innovative solutions to protect modern digital infrastructure from emerging network threats. Despite its young age, the lab has an excellent track record of publications in top-tier security and blockchain
-
modern digital infrastructure from emerging network threats. Despite being young, Secura Lab has an excellent track record in publishing at top-tier security and blockchain conferences. At Secura Lab, we
Searches related to digital game
Enter an email to receive alerts for digital-game positions