1507 search results - page 22 / 302 » Separating Complexity Classes Using Structural Properties |
94
Voted
TARK
2007
Springer
15 years 6 months ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
136
Voted
CRYPTO
2011
Springer
14 years 12 days ago
2011
Springer
Structure-preserving signatures are signatures defined over bilinear groups that rely on generic group operations. In particular, the messages and signatures consist of group elem...
106
Voted
ICSEA
2007
IEEE
15 years 7 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
Recently, Mikołaj Boja´nczyk introduced a class of max-regular languages, an extension of regular languages of infinite words preserving many of its usual properties. This new c...
191
Voted
POPL
2008
ACM
16 years 28 days ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...