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 random-oracle-model adversarial-model questions feed
Hot Network Questions
Selecting a different object hides all keyframes in timeline?
What is the difference of -a and -e in bash's conditional expressions?
How do I repeat the last command without using the arrow keys?
A flight I booked months ago just got rescheduled dramatically, into a time that is not possible for me, what can I do?
Camera lens or megapixel value: which defines the quality and clarity of the picture?
Toilet flush buttons
Find the largest prime whose length, sum and product is prime
How can wiring systems be designed to not rely solely on colour?
How to ask for feedback from research students on my supervision abilities?
How to right-justify URLs inside a table?
Make a code square with your favorite word
Ragged edges vs. alignment
Was the American Civil War the “bloodiest civil war in history”?
Using C# properties for simple operations, where should I draw the line?
Appropriate word for internet name of a person
Expression for "Respect them and suspect them"
Average time to first answer
Write the whole of the holed using the unholed
What does it mean: "... was three days dying"?
How can we compensate for a Warforged's lack of healing?
Was MH17's flight path rerouted?
Class refactoring including changing instance methods to class methods and adding singletons
When was the last time the date was divisible by n?
Is it possible to make a complete analogy between electricity and something more graspable? (e.g. fluids)
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