Richard Ryan Williams MIT CSAIL, 32 Vassar St., Cambridge, MA 02139 Email: [email protected]
Total Page：16
File Type：pdf, Size：1020Kb
Load more
Recommended publications
-
Tarjan Transcript Final with Timestamps
A.M. Turing Award Oral History Interview with Robert (Bob) Endre Tarjan by Roy Levin San Mateo, California July 12, 2017 Levin: My name is Roy Levin. Today is July 12th, 2017, and I’m in San Mateo, California at the home of Robert Tarjan, where I’ll be interviewing him for the ACM Turing Award Winners project. Good afternoon, Bob, and thanks for spending the time to talk to me today. Tarjan: You’re welcome. Levin: I’d like to start by talking about your early technical interests and where they came from. When do you first recall being interested in what we might call technical things? Tarjan: Well, the first thing I would say in that direction is my mom took me to the public library in Pomona, where I grew up, which opened up a huge world to me. I started reading science fiction books and stories. Originally, I wanted to be the first person on Mars, that was what I was thinking, and I got interested in astronomy, started reading a lot of science stuff. I got to junior high school and I had an amazing math teacher. His name was Mr. Wall. I had him two years, in the eighth and ninth grade. He was teaching the New Math to us before there was such a thing as “New Math.” He taught us Peano’s axioms and things like that. It was a wonderful thing for a kid like me who was really excited about science and mathematics and so on. The other thing that happened was I discovered Scientific American in the public library and started reading Martin Gardner’s columns on mathematical games and was completely fascinated. -
Single-To-Multi-Theorem Transformations for Non-Interactive Statistical Zero-Knowledge
Single-to-Multi-Theorem Transformations for Non-Interactive Statistical Zero-Knowledge Marc Fischlin Felix Rohrbach Cryptoplexity, Technische Universität Darmstadt, Germany www.cryptoplexity.de [email protected] [email protected] Abstract. Non-interactive zero-knowledge proofs or arguments allow a prover to show validity of a statement without further interaction. For non-trivial statements such protocols require a setup assumption in form of a common random or reference string (CRS). Generally, the CRS can only be used for one statement (single-theorem zero-knowledge) such that a fresh CRS would need to be generated for each proof. Fortunately, Feige, Lapidot and Shamir (FOCS 1990) presented a transformation for any non-interactive zero-knowledge proof system that allows the CRS to be reused any polynomial number of times (multi-theorem zero-knowledge). This FLS transformation, however, is only known to work for either computational zero-knowledge or requires a structured, non-uniform common reference string. In this paper we present FLS-like transformations that work for non-interactive statistical zero-knowledge arguments in the common random string model. They allow to go from single-theorem to multi-theorem zero-knowledge and also preserve soundness, for both properties in the adaptive and non-adaptive case. Our first transformation is based on the general assumption that one-way permutations exist, while our second transformation uses lattice-based assumptions. Additionally, we define different possible soundness notions for non-interactive arguments and discuss their relationships. Keywords. Non-interactive arguments, statistical zero-knowledge, soundness, transformation, one-way permutation, lattices, dual-mode commitments 1 Introduction In a non-interactive proof for a language L the prover P shows validity of some theorem x ∈ L via a proof π based on a common string crs chosen by some external setup procedure. -
1 Introduction
Logic Activities in Europ e y Yuri Gurevich Intro duction During Fall thanks to ONR I had an opp ortunity to visit a fair numb er of West Eu rop ean centers of logic research I tried to learn more ab out logic investigations and appli cations in Europ e with the hop e that my exp erience may b e useful to American researchers This rep ort is concerned only with logic activities related to computer science and Europ e here means usually Western Europ e one can learn only so much in one semester The idea of such a visit may seem ridiculous to some The mo dern world is quickly growing into a global village There is plenty of communication b etween Europ e and the US Many Europ ean researchers visit the US and many American researchers visit Europ e Neither Americans nor Europ eans make secret of their logic research Quite the opp osite is true They advertise their research From ESPRIT rep orts the Bulletin of Europ ean Asso ciation for Theoretical Computer Science the Newsletter of Europ ean Asso ciation for Computer Science Logics publications of Europ ean Foundation for Logic Language and Information publications of particular Europ ean universities etc one can get a go o d idea of what is going on in Europ e and who is doing what Some Europ ean colleagues asked me jokingly if I was on a reconnaissance mission Well sometimes a cow wants to suckle more than the calf wants to suck a Hebrew proverb It is amazing however how dierent computer science is esp ecially theoretical com puter science in Europ e and the US American theoretical -
Our Place in the Urban Age Summary Report
Cleveland State University EngagedScholarship@CSU Maxine Goodman Levin College of Urban Urban Publications Affairs 1-1-2008 Our Place in the Urban Age Summary Report Kathryn W. Hexter Cleveland State University, [email protected] Molly Schnoke Cleveland State University, [email protected] Cathryn Greenwald Follow this and additional works at: https://engagedscholarship.csuohio.edu/urban_facpub How does access to this work benefit ou?y Let us know! Repository Citation Hexter, Kathryn W.; Schnoke, Molly; and Greenwald, Cathryn, "Our Place in the Urban Age Summary Report" (2008). Urban Publications. 0 1 2 3 80. https://engagedscholarship.csuohio.edu/urban_facpub/80 This Report is brought to you for free and open access by the Maxine Goodman Levin College of Urban Affairs at EngagedScholarship@CSU. It has been accepted for inclusion in Urban Publications by an authorized administrator of EngagedScholarship@CSU. For more information, please contact [email protected]. Our Place in the Urban Age The Levin College of Urban Affairs 30th Anniversary Forum Series Summary Report March 2007–March 2008 Cuyahoga County Public Library The George Gund Foundation Envisioning Cleveland Submission: Crossroads by Gregory M. Tkachyk Our Place in the Urban Age Table of contents Page I. Executive Summary 3 II. Forums in the Series • David Morgenthaler, A Perspective on the Future of Cities 7 March 22, 2007 http://urban.csuohio.edu/forum/events/03_22_07_urban_age.html David Morgenthaler, founding partner of Morgenthaler Ventures • The Downtown Comeback: -
Jeremiah Blocki
Jeremiah Blocki Current Position (August 2016 to present) Phone: (765) 494-9432 Assistant Professor Office: 1165 Lawson Computer Science Building Computer Science Department Email: [email protected] Purdue University Homepage: https://www.cs.purdue.edu/people/faculty/jblocki/ West Lafayette, IN 47907 Previous Positions (August 2015 - June 2016) (May 2015-August 2015) (June 2014-May 2015) Post-Doctoral Researcher Cryptography Research Fellow Post-Doctoral Fellow Microsoft Research Simons Institute Computer Science Department New England Lab (Summer of Cryptography) Carnegie Mellon University Cambridge, MA UC Berkeley Pittsburgh, PA 15213 Berkeley, CA Education Ph.D. in Computer Science, Carnegie Mellon University, 2014. Advisors: Manuel Blum and Anupam Datta. Committee: Manuel Blum, Anupam Datta, Luis Von Ahn, Ron Rivest Thesis Title: Usable Human Authentication: A Quantitative Treatment B.S. in Computer Science, Carnegie Mellon University, 2009. (3.92 GPA). Senior Research Thesis: Direct Zero-Knowledge Proofs Allen Newell Award for Excellence in Undergraduate Research Research Research Interests Passwords, Usable and Secure Password Management, Human Computable Cryptography, Password Hash- ing, Memory Hard Functions, Differential Privacy, Game Theory and Security Journal Publications 1. Blocki, J., Gandikota, V., Grigorescu, G. and Zhou, S. Relaxed Locally Correctable Codes in Computa- tionally Bounded Channels. IEEE Transactions on Information Theory, 2021. [https://ieeexplore. ieee.org/document/9417090] 2. Harsha, B., Morton, R., Blocki, J., Springer, J. and Dark, M. Bicycle Attacks Consider Harmful: Quantifying the Damage of Widespread Password Length Leakage. Computers & Security, Volume 100, 2021. [https://doi.org/10.1016/j.cose.2020.102068] 3. Chong, I., Proctor, R., Li, N. and Blocki, J. Surviving in the Digital Environment: Does Survival Processing Provide and Additional Memory Benefit to Password Generation Strategies. -
Copyrighted Material
pter O ha n C e An Historic Overview of Venture Capitalism • Those who cannot remember the past are condemned to repeat it. —George Santayana Why is an historical overview of VC important? Because history does in fact repeat itself, and a study of history allows us to frame an understanding of the present and the future. The playersCOPYRIGHTED and the investment climate MATERIAL change, but the entrepreneur’s innate instinct to risk capital for a return is no different today from what it was when John D. Rockefeller became America’s first billionaire in 1900. When Andrew c01.indd 1 10-12-2013 8:50:11 [2] The Little Book of Venture Capital Investing Carnegie joined forces with his childhood friend, Henry Phipps, to form Carnegie Steel in 1892, they were driven by the same conviction to improve the status quo as are the idealistic dream chasers of the twenty-first century. It was these early trailblazers who paved the way and developed the techniques that have laid the foundation for VC as we know it today. Arguably, historians will debate the nature of history and its usefulness. This includes using the discipline as a way of providing perspective on the problems and opportu- nities of the present. I believe it to be an important tool in providing a systematic account and window to the future. It is patently dishonest and irresponsible to perpetuate the popular mythology that those who created great wealth in America are to be despised and that there are no useful les- sons to be learned from an objective, historical review of their contributions to the subject at hand. -
Aspaandra Born Lane A
LIST OF PUBLICATIONS August 19, 2021 Lane A. Hemaspaandra born Lane A. Hemachandra) BOOKS 1. Complexity Theory Retrospective II, L. Hemaspaandra and A. Selman, editors, Springer-Verlag, softcover edition (original edition is entry 6), ISBN 1461273196, 2012. 2. Theory of Semi-Feasible Algorithms, L. Hemaspaandra and L. Torenvliet, Monographs in Theoretical Computer Science, an EATCS Series, Springer-Verlag, softcover edition (orig- inal edition is entry 4), ISBN 3-642-07581-0, 2010. 3. The Complexity Theory Companion, L. Hemaspaandra and M. Ogihara, Texts in Theoretical Computer Science, an EATCS Series, Springer-Verlag, softcover edition (origi- nal edition is entry 5), ISBN 3-642-08684-7, 2010. 4. Theory of Semi-Feasible Algorithms, L. Hemaspaandra and L. Torenvliet, Monographs in Theoretical Computer Science, an EATCS Series, Springer-Verlag, hardcover, ISBN 3-540- 42200-5, 2003. 5. The Complexity Theory Companion, L. Hemaspaandra and M. Ogihara, Texts in Theoretical Computer Science, an EATCS Series, Springer-Verlag, hardcover, ISBN 3-540- 67419-5, 2002. 6. Complexity Theory Retrospective II, L. Hemaspaandra and A. Selman, editors, Springer-Verlag, ISBN 0-387-94973-9, 1997. BOOK CHAPTERS 7. The Power of Self-Reducibility: Selectivity, Information, and Approximation, L. Hemaspaandra, in Complexity and Approximation, eds. D.-Z. Du and J. Wang, pp. 19{47, Springer, 2020. 8. Credimus, E. Hemaspaandra, and L. Hemaspaandra, in The Future of Economic Design: The Continuing Development of a Field as Envisioned by Its Researchers, eds. J.-F. Laslier, H. Moulin, R. Sanver, and W. Zwicker, pp. 141{152, Springer, 2019. 9. That Most Important Intersection, L. Hemaspaandra, in Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkoviˇc on the Occasion of his 60th Birthday, eds. -
Leonard (Len) Max Adleman 2002 Recipient of the ACM Turing Award Interviewed by Hugh Williams August 18, 2016
Leonard (Len) Max Adleman 2002 Recipient of the ACM Turing Award Interviewed by Hugh Williams August 18, 2016 HW: = Hugh Williams (Interviewer) LA = Len Adelman (ACM Turing Award Recipient) ?? = inaudible (with timestamp) or [ ] for phonetic HW: My name is Hugh Williams. It is the 18th day of August in 2016 and I’m here in the Lincoln Room of the Law Library at the University of Southern California. I’m here to interview Len Adleman for the Turing Award winners’ project. Hello, Len. LA: Hugh. HW: I’m going to ask you a series of questions about your life. They’ll be divided up roughly into about three parts – your early life, your accomplishments, and some reminiscing that you might like to do with regard to that. Let me begin with your early life and ask you to tell me a bit about your ancestors, where they came from, what they did, say up to the time you were born. LA: Up to the time I was born? HW: Yes, right. LA: Okay. What I know about my ancestors is that my father’s father was born somewhere in modern-day Belarus, the Minsk area, and was Jewish, came to the United States probably in the 1890s. My father was born in 1919 in New Jersey. He grew up in the Depression, hopped freight trains across the country, and came to California. And my mother is sort of an unknown. The only thing we know about my mother’s ancestry is a birth certificate, because my mother was born in 1919 and she was an orphan, and it’s not clear that she ever met her parents. -
The Origins of Computational Complexity
The Origins of Computational Complexity Some influences of Manuel Blum, Alan Cobham, Juris Hartmanis and Michael Rabin Abstract. This paper discusses some of the origins of Computational Complexity. It is shown that they can be traced back to the late 1950’s and early 1960’s. In particular, it is investigated to what extent Manuel Blum, Alan Cobham, Juris Hartmanis, and Michael Rabin contributed each in their own way to the existence of the theory of computational complexity that we know today. 1. Introduction The theory of computational complexity is concerned with the quantitative aspects of computation. An important branch of research in this area focused on measuring the difficulty of computing functions. When studying the computational difficulty of computable functions, abstract models of computation were used to carry out algorithms. The goal of computations on these abstract models was to provide a reasonable approximation of the results that a real computer would produce for a certain computation. These abstract models of computations were usually called “machine models”. In the late 1950’s and early 1960’s, the study of machine models was revived: the blossoming world of practical computing triggered the introduction of many new models and existing models that were previously thought of as computationally equivalent became different with respect to new insights re- garding time and space complexity measures. In order to define the difficulty of functions, computational complexity measures, that were defined for all possible computations and that assigned a complexity to each terminating computation, were proposed. Depending on the specific model that was used to carry out computations, there were many notions of computational complexity. -
![Arxiv:2106.11534V1 [Cs.DL] 22 Jun 2021 2 Nanjing University of Science and Technology, Nanjing, China 3 University of Southampton, Southampton, U.K](https://docslib.b-cdn.net/cover/7768/arxiv-2106-11534v1-cs-dl-22-jun-2021-2-nanjing-university-of-science-and-technology-nanjing-china-3-university-of-southampton-southampton-u-k-1557768.webp)
Arxiv:2106.11534V1 [Cs.DL] 22 Jun 2021 2 Nanjing University of Science and Technology, Nanjing, China 3 University of Southampton, Southampton, U.K
Noname manuscript No. (will be inserted by the editor) Turing Award elites revisited: patterns of productivity, collaboration, authorship and impact Yinyu Jin1 · Sha Yuan1∗ · Zhou Shao2, 4 · Wendy Hall3 · Jie Tang4 Received: date / Accepted: date Abstract The Turing Award is recognized as the most influential and presti- gious award in the field of computer science(CS). With the rise of the science of science (SciSci), a large amount of bibliographic data has been analyzed in an attempt to understand the hidden mechanism of scientific evolution. These include the analysis of the Nobel Prize, including physics, chemistry, medicine, etc. In this article, we extract and analyze the data of 72 Turing Award lau- reates from the complete bibliographic data, fill the gap in the lack of Turing Award analysis, and discover the development characteristics of computer sci- ence as an independent discipline. First, we show most Turing Award laureates have long-term and high-quality educational backgrounds, and more than 61% of them have a degree in mathematics, which indicates that mathematics has played a significant role in the development of computer science. Secondly, the data shows that not all scholars have high productivity and high h-index; that is, the number of publications and h-index is not the leading indicator for evaluating the Turing Award. Third, the average age of awardees has increased from 40 to around 70 in recent years. This may be because new breakthroughs take longer, and some new technologies need time to prove their influence. Besides, we have also found that in the past ten years, international collabo- ration has experienced explosive growth, showing a new paradigm in the form of collaboration. -
Curriculum Vitae
1 CURRICULUM VITAE Name: Steven Skiena Date of birth: January 30, 1961 Office: Dept. of Computer Science Home: 6 Storyland Lane State University of New York Setauket, NY 11733 Stony Brook, NY 11794 Tel.: (631) 689-5477 Tel.: (631)-632-8470/9026 email: [email protected] URL: http://www.cs.sunysb.edu/˜skiena Education University of Illinois at Urbana-Champaign, Fall 1983 to Spring 1988. M.S. in Computer Science May 1985, Ph.D in Computer Science May 1988. Cumulative GPA 4.87/5.00. University of Virginia, Charlottesville VA, Fall 1979 to Spring 1983. B.S. in Computer Science with High Distinction, May 1983. Final GPA 3.64/4.0, with 4.0+ GPA in Computer Science. Rodman Scholar, Intermediate Honors, Tau Beta Pi. Employment SUNY Stony Brook, Professor of Computer Science, fall 2001 to date. Associate Professor of Com- puter Science, fall 1994 to spring 2001. Assistant Professor of Computer Science, fall 1988 to spring 1994. Also, Adjunct Professor of Applied Mathematics, spring 1991 to date. Affiliated faculty, Dept. of Biomedical Engineering and Graduate Program in Genetics. Hong Kong University of Science and Technology (HKUST), Visiting Professor, Dept. of Computer Science and Engineering, fall 2008 to summer 2009. Caesarea Edmond Benjamin de Rothschild Foundation Institute for Interdisciplinary Applications of Computer Science, University of Haifa, Israel, fall 2001 to spring 2002. DIMACS, Rutgers University, visitor, fall 1994 to spring 1995. Apple Computer, Advanced Technology Group, Cupertino CA, summer 1988. University of Illinois, Urbana IL, teaching assistant, fall 1983 to spring 1987. fellowship, summer 1987. research assistant, fall 1987 to spring 1988. -
CCLB 10-06-08 a 1 CCLB.Qxd
CCLB 10-06-08 A 1 CCLB 10/3/2008 3:44 PM Page 1 $1.50/OCTOBER 6 - 12, 2008 Community STRIKINGLY SIMILAR banks see Three men alive during the traffic push Depression have faith in the As big institutions falter, local little current economy, yet see familiar guys experiencing uptick in business trends in today’s troubles By ARIELLE KASS [email protected] By DAN SHINGLER [email protected] The country’s financial crisis is producing a steady stream of patrons — and questions — at community o most people, the Great Depression is SPECIAL COLLECTIONS, CLEVELAND STATE UNIVERSITY LIBRARY banks in Northeast Ohio. a large but distant specter from the lives ABOVE: Clevelanders line up for relief orders and surplus commodities on With large banks such as Wachovia and Washington of their parents or grandparents. But to Professor Avenue in what is now Tremont, in 1933. (Photo by James Meli). Mutual biting the dust and local giants such as KeyCorp people in their 80s or 90s, it is an event BELOW: Cleveland's unemployed gather at Public Square in 1930 to receive and National City Corp. posting huge losses, leaders at Tthat shaped their lives — and one they hope the hot coffee and rolls. (Photographer unknown.) some community banks said they’ve seen more deposits nation can avoid repeating. coming through their doors from customers who are Omer Blodgett was about to turn 11 when the nervous about the status of their accounts at other banks stock market crashed in October 1929. His family and are looking for a safe haven.