Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jason Bau

dblp:77/8188 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
0since 2021 · last 2011
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 3 · 2 first-authorSystems, architecture and hardware · 1Software engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
3 papers
Web and mobile security · 43% Systems and software security · 28% Network security · 26%
Software engineering, system software, and programming languages
2 papers
Software testing · 43% Program analysis · 43% Program verification · 15%

Topics — the 10 heaviest of 12, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security › isolation
application isolation
0.112011
App isolation: get the security of multiple browsers with just one · CCS 2011
Web and mobile security
browser security
0.112011
App isolation: get the security of multiple browsers with just one · CCS 2011
Web and mobile security
web security
0.112011
App isolation: get the security of multiple browsers with just one · CCS 2011
Systems and software security
black-box testing
0.112010
State of the Art: Automated Black-Box Web Application Vulnerability Testing · IEEE Symposium on Security and Privacy 2010
Network security › protocol security › DNS security
DNSSEC
0.112010
A Security Evaluation of DNSSEC with NSEC3 · NDSS 2010
Network security › protocol security
DNS security
0.112010
A Security Evaluation of DNSSEC with NSEC3 · NDSS 2010
Web and mobile security
web vulnerability scanning
0.112010
State of the Art: Automated Black-Box Web Application Vulnerability Testing · IEEE Symposium on Security and Privacy 2010
Software testing › non-functional testing
security testing
0.112010
State of the Art: Automated Black-Box Web Application Vulnerability Testing · IEEE Symposium on Security and Privacy 2010
Program analysis › static analysis
vulnerability detection
0.112010
State of the Art: Automated Black-Box Web Application Vulnerability Testing · IEEE Symposium on Security and Privacy 2010
Program verification
model checking
0.012011
App isolation: get the security of multiple browsers with just one · CCS 2011

Methods — techniques the papers use, named apart from their topics

finite-state model checking · 0.1finite state model checking · 0.1
YearPublicationVenuePosition
2011 App isolation: get the security of multiple browsers with just one
abstract
Many browser-based attacks can be prevented by using separate browsers for separate web sites. However, most users access the web with only one browser. We explain the security benefits that using multiple browsers provides in terms of two concepts: entry-point restriction and state isolation. We combine these concepts into a general app isolation mechanism that can provide the same security benefits in a single browser. While not appropriate for all types of web sites, many sites with high-value user data can opt in to app isolation to gain defenses against a wide variety of browser-based attacks. We implement app isolation in the Chromium browser and verify its security properties using finite-state model checking. We also measure the performance overhead of app isolation and conduct a large-scale study to evaluate its adoption complexity for various types of sites, demonstrating how the app isolation mechanisms are suitable for protecting a number of high-value Web applications, such as online banking.
Eric Yawei Chen, Jason Bau, Charles Reis, Adam Barth, Collin Jackson
CCS2
2010 ERSA: Error Resilient System Architecture for probabilistic applications
abstract
There is a growing concern about the increasing vulnerability of future computing systems to errors in the underlying hardware. Traditional redundancy techniques are expensive for designing energy-efficient systems that are resilient to high error rates. We present Error Resilient System Architecture (ERSA), a low-cost robust system architecture for emerging killer probabilistic applications such as Recognition, Mining and Synthesis (RMS) applications. While resilience of such applications to errors in low-order bits of data is well-known, execution of such applications on error-prone hardware significantly degrades output quality (due to high-order bit errors and crashes). ERSA achieves high error resilience to high-order bit errors and control errors (in addition to low-order bit errors) using a judicious combination of 3 key ideas: (1) asymmetric reliability in many-core architectures, (2) error-resilient algorithms at the core of probabilistic applications, and (3) intelligent software optimizations. Error injection experiments on a multi-core ERSA hardware prototype demonstrate that, even at very high error rates of 20,000 errors/second/core or 2×10-4error/cycle/core (with errors injected in architecturally-visible registers), ERSA maintains 90% or better accuracy of output results, together with minimal impact on execution time, for probabilistic applications such as K-Means clustering, LDPC decoding and Bayesian networks. Moreover, we demonstrate the effectiveness of ERSA in tolerating high rates of static memory errors that are characteristic of emerging challenges such as Vccmin problems and erratic bit errors. Using the concept of configurable reliability, ERSA platforms may also be adapted for general-purpose applications that are less resilient to errors (but at higher costs).
Larkhoon Leem, Hyungmin Cho, Jason Bau, Quinn Jacobson, Subhasish Mitra
DATE3
2010 A Security Evaluation of DNSSEC with NSEC3
Jason Bau, John C. Mitchell
NDSS1
2010 State of the Art: Automated Black-Box Web Application Vulnerability Testing
abstract
Black-box web application vulnerability scanners are automated tools that probe web applications for security vulnerabilities. In order to assess the current state of the art, we obtained access to eight leading tools and carried out a study of: (i) the class of vulnerabilities tested by these scanners, (ii) their effectiveness against target vulnerabilities, and (iii) the relevance of the target vulnerabilities to vulnerabilities found in the wild. To conduct our study we used a custom web application vulnerable to known and projected vulnerabilities, and previous versions of widely used web applications containing known vulnerabilities. Our results show the promise and effectiveness of automated tools, as a group, and also some limitations. In particular, "stored" forms of Cross Site Scripting (XSS) and SQL Injection (SQLI) vulnerabilities are not currently found by many tools. Because our goal is to assess the potential of future research, not to evaluate specific vendors, we do not report comparative data or make any recommendations about purchase of specific tools.
Jason Bau, Elie Bursztein, Divij Gupta, John C. Mitchell
IEEE Symposium on Security and Privacy1