Skip to search formSkip to main contentSkip to account menu

Steven Rudich

Known as: Rudich 
Steven Rudich (born October 4, 1961) is a professor in the Carnegie Mellon School of Computer Science. In 1994, he and Alexander Razborov proved that… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Algebraic natural proofs were recently introduced by Forbes, Shpilka and Volk (Proc. of the 49th Annual ACM SIGACT Symposium on… 
2016
2016
Abstract. Atmospheric oxidation of isoprene, the most abundant non-methane hydrocarbon emitted into Earth's atmosphere primarily… 
Highly Cited
2016
Highly Cited
2016
A watermarking scheme for programs embeds some information called a mark into a program while preserving its functionality. No… 
2015
2015
Software Watermarking is the process of transforming a program into a functionally equivalent “marked” program in such a way that… 
Highly Cited
2010
Highly Cited
2010
If the Dark Triad are costly traits for individuals to have and individuals are predisposed to avoid interacting with selfish… 
Highly Cited
2008
Highly Cited
2008
We prove that every key exchange protocol in the random oracle model in which the honest users make at most n queries to the… 
2008
2008
Partial functions are frequently used when specifying and reasoning about computer programs. Using partial functions entails… 
2003
2003
  • V. Grolmusz
  • 2003
  • Corpus ID: 14639768
Elementary symmetric polynomials $S_n^k$ are the building blocks of symmetric polynomials. In this work we prove that for… 
Highly Cited
2000
Highly Cited
2000
In this paper we study the relationships among some of the most fundamental primitives and protocols in cryptography: public-key… 
2000
2000
We prove a dual version of the celebrated inequality of D. Reimer (a.k.a. the van den Berg-Kesten conjecture). We use the dual…