to customize your list.
more stack exchange communities
Start here for a quick overview of the site
Detailed answers to any questions you might have
Discuss the workings and policies of this site
Automated security protocol verification tool for eCK model
I want a tool that (runs on Win7 and) can perform automated verification of a protocol in the eCK security model as described in Microsoft Research's paper "Stronger Security of Authenticated Key ...
Sep 7 '13 at 14:07
newest adversarial-model random-oracle-model questions feed
in 4 days
Hot Network Questions
Symbol for unknown relation?
Not "On the Rocks"
Why is it a security problem not to update one's browser?
How to make a circular swipe?
Optimize query containing too many inner join and rows
How to partition a list according to a value in the list
Proper translation of John 1:1
What can PCs buy out of game?
How to deal with an advisor who wants a "friendlier" relationship with me than I do?
What physical contact, if any, is acceptable between a supervisor and a student?
Maple vs. Mathematica
Gaining a skill after some amount of time (while not actively practicing the skill)
Our DM has a PC, how do we stop going to the PC for answers (because the DM knows everything)?
Server won't physically fit in rack: which technical problems will I face in future if I force the mount?
Why does an aircraft leave a white smoke trail?
Are there any annotated formal verification systems for pure functional programming languages?
Temporarily free up space on iPhone 5
Did differential geometry undergo a notation change?
Meditating and including buddhist philosophy in your life without abandoning previous religious beliefs?
Do Text Based Browsers reduce Network Traffic
Ability to add files to a directory but not remove existing files
Can anti-csrf token can prevent bruteforce attack?
Matter and antimatter differences?
My employer wants me to write a guide for doing my job
more hot questions
Life / Arts
Culture / Recreation
TeX - LaTeX
Unix & Linux
Ask Different (Apple)
Geographic Information Systems
Science Fiction & Fantasy
Seasoned Advice (cooking)
Personal Finance & Money
English Language & Usage
Mi Yodeya (Judaism)
Cross Validated (stats)
Theoretical Computer Science
Meta Stack Exchange
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0