893 search results - page 16 / 179 » Descent Theory for Schemes |
134
click to vote
TYPES
2000
Springer
15 years 9 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
174
click to vote
EUROCRYPT
2008
Springer
15 years 7 months ago
2008
Springer
In the model of perfectly secure message transmission schemes (PSMTs), there are n channels between a sender and a receiver. An infinitely powerful adversary A may corrupt (observe...
153
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
Consider a flat-fading Multiple-Input Multiple-Output (MIMO) system. The near-optimum detection problematic has been shown to be efficiently solved through QR Decomposition (QRD...
143
Voted
SYNASC
2007
IEEE
16 years 11 days ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
143
click to vote
EUROCRYPT
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we examine the security criteria for a KEM and a DEM that are sufficient for the overall hybrid encryption scheme to be plaintext-aware in the standard model. We appl...