Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Victor Shoup

Victor Shoup is a computer scientist and mathematician. He obtained a PhD in computer science from the University of Wisconsin–Madison in 1989, and… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
We present a general framework for constructing two-message oblivious transfer protocols using a modification of Cramer and Shoup… Expand
  • figure 1
2010
2010
Anonymous credential systems are a key ingredient for a secure and privacy protecting electronic world. In their full-fledged… Expand
Highly Cited
2008
Highly Cited
2008
Recently Cash, Kiltz, and Shoup [13] showed a variant of the Cramer-Shoup (CS) scheme [14] whose chosen-ciphertext (CCA) security… Expand
  • table 1
  • table 2
2007
2007
In 1999, two signature schemes based on the flexible RSA problem (a.k.a. strong RSA problem) were independently introduced: the… Expand
  • table 1
Highly Cited
2007
Highly Cited
2007
We present an efficient construction of Yao's "garbled circuits" protocol for securely computing any two-party circuit on… Expand
  • figure 1
  • figure 2
  • figure 4
Highly Cited
2006
Highly Cited
2006
  • M. Liskov
  • Selected Areas in Cryptography
  • 2006
  • Corpus ID: 1267493
We introduce the notion of a weak ideal compression function, which is vulnerable to strong forms of attack, but is otherwise… Expand
  • figure 1
  • figure 2
2003
2003
  • J. Stern
  • EUROCRYPT
  • 2003
  • Corpus ID: 16381679
Recently, methods from provable security, that had been developped for the last twenty years within the research community, have… Expand
  • figure 1
  • figure 2
1997
1997
Formal Method Integration via Heterogeneous Notations Richard Freeman Paige Doctor of Philosophy Graduate Department of Computer… Expand
  • figure 4.5
  • figure B.5
Highly Cited
1995
Highly Cited
1995
  • V. Shoup
  • J. Symb. Comput.
  • 1995
  • Corpus ID: 9801847
Abstract We consider the problem of factoring univariate polynomials over a finite field. We demonstrate that the new baby step… Expand
1988
1988
The comprehensive value added tax (VAT), now a principal source of revenue for some forty countries, was nowhere to be found only… Expand