1816 search results - page 36 / 364 » Trace oblivious computation |
77
Voted
CCGRID
2010
IEEE
15 years 1 months ago
2010
IEEE
156
Voted
EGH
2011
Springer
14 years 8 days ago
2011
Springer
84
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
We show that the category FinVectk of finite dimensional vector spaces and linear maps over any field k is (collectively) complete for the traced symmetric monoidal category freely...
90
Voted
PODC
1996
ACM
15 years 4 months ago
1996
ACM
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
101
click to vote
ASIACRYPT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We develop a new multi-party generalization of Naor-Nissim indirect indexing, making it possible for many participants to simulate a RAM machine with only poly-logarithmi...