4211 search results - page 125 / 843 » A formal approach to MASQ |
107
Voted
JUCS
2008
15 years 23 days ago
2008
: In a secure roaming scenario, a user U travels to a foreign network and communicates with a foreign server V securely so that no one other than U and V can obtain the messages ex...
128
Voted
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Several generic constructions for transforming one-way functions to asymmetric encryption schemes have been proposed. One-way functions only guarantee the weak secrecy of...
126
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
135
Voted
STORYTELLING
2005
Springer
15 years 6 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
191
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...