scispace - formally typeset
Search or ask a question
Institution

SRI International

NonprofitMenlo Park, California, United States
About: SRI International is a nonprofit organization based out in Menlo Park, California, United States. It is known for research contribution in the topics: Ionosphere & Laser. The organization has 7222 authors who have published 13102 publications receiving 660724 citations. The organization is also known as: Stanford Research Institute & SRI.


Papers
More filters
Journal ArticleDOI
TL;DR: This work presents a paradigm for the automatic assessment of pronunciation quality by machine, and addresses pronunciation evaluation as a prediction problem, trying to predict the grade a human expert would assign to a particular skill.

263 citations

Journal ArticleDOI
14 Jun 2014
TL;DR: CHERI, a hybrid capability model that extends the 64-bit MIPS ISA with byte-granularity memory protection, is presented, demonstrating that it enables language memory model enforcement and fault isolation in hardware rather than software, and that the CHERI mechanisms are easily adopted by existing programs for efficient in-program memory safety.
Abstract: Motivated by contemporary security challenges, we reevaluate and refine capability-based addressing for the RISC era. We present CHERI, a hybrid capability model that extends the 64-bit MIPS ISA with byte-granularity memory protection. We demonstrate that CHERI enables language memory model enforcement and fault isolation in hardware rather than software, and that the CHERI mechanisms are easily adopted by existing programs for efficient in-program memory safety. In contrast to past capability models, CHERI complements, rather than replaces, the ubiquitous page-based protection mechanism, providing a migration path towards deconflating data-structure protection and OS memory management. Furthermore, CHERI adheres to a strict RISC philosophy: it maintains a load-store architecture and requires only singlecycle instructions, and supplies protection primitives to the compiler, language runtime, and operating system. We demonstrate a mature FPGA implementation that runs the FreeBSD operating system with a full range of software and an open-source application suite compiled with an extended LLVM to use CHERI memory protection. A limit study compares published memory safety mechanisms in terms of instruction count and memory overheads. The study illustrates that CHERI is performance-competitive even while providing assurance and greater flexibility with simpler hardware

262 citations

Journal ArticleDOI
TL;DR: Maude's rewrite engine is designed with the explicit goal of being highly extensible and of supporting rapid prototyping and formal methods applications, but its semi-compilation techniques allow it to meet those goals with good performance.

262 citations

Journal Article
TL;DR: The first verifiably encrypted signature without random oracles was proposed by Waters as mentioned in this paper, who presented the first aggregate signature scheme, the first multisignature scheme, and the first provably secure signature scheme.
Abstract: We present the first aggregate signature, the first multisignature, and the first verifiably encrypted signature provably secure without random oracles. Our constructions derive from a novel application of a recent signature scheme due to Waters. Signatures in our aggregate signature scheme are sequentially constructed, but knowledge of the order in which messages were signed is not necessary for verification. The aggregate signatures obtained are shorter than Lysyanskaya et al. sequential aggregates and can be verified more efficiently than Boneh et al. aggregates. We also consider applications to secure routing and proxy signatures.

261 citations

Journal ArticleDOI
D. H. Kelly1
TL;DR: In this article, the authors measured the contrast sensitivity of the human eye with sinusoidal grating targets of various spatial frequencies and found that the shape of the contrast-sensitivity function and its absolute values show good agreement among normal subjects, but the most interesting properties of this function cannot be attributed to the optics of the eye, but must be understood in terms of the image processing activities of the visual pathways.
Abstract: Like the modulation transfer function of man-made imaging devices, the contrast sensitivity of the human eye can be measured with sinusoidal grating targets of various spatial frequencies. Criterion-free psychophysical methods permit us to regard the contrast sensitivity as a direct measure of the subject's visual performance, independent of subjective factors. Under these conditions, not only the shape of the contrast-sensitivity function but also its absolute values show good agreement among normal subjects. However, the most interesting properties of this function cannot be attributed to the optics of the eye, but must be understood in terms of the image-processing activities of the visual pathways. The contrast-sensitivity function varies with the size, brightness, motion and flicker of the test target, with the adaptive state of the subject's retina, and with his eye-movements. Most of these effects can be explained in terms of known neurophysiology.

261 citations


Authors

Showing all 7245 results

NameH-indexPapersCitations
Rodney S. Ruoff164666194902
Alex Pentland13180998390
Robert L. Byer130103696272
Howard I. Maibach116182160765
Alexander G. G. M. Tielens11572251058
Adolf Pfefferbaum10953040358
Amato J. Giaccia10841949876
Bernard Wood10863038272
Paul Workman10254738095
Thomas Kailath10266158069
Pascal Fua10261449751
Edith V. Sullivan10145534502
Margaret A. Chesney10132633509
Thomas C. Merigan9851433941
Carlos A. Zarate9741732921
Network Information
Related Institutions (5)
Massachusetts Institute of Technology
268K papers, 18.2M citations

92% related

University of Illinois at Urbana–Champaign
225.1K papers, 10.1M citations

91% related

Stanford University
320.3K papers, 21.8M citations

90% related

Columbia University
224K papers, 12.8M citations

90% related

University of California, San Diego
204.5K papers, 12.3M citations

90% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
20236
202237
2021178
2020223
2019256
2018218