- Subscribe to this page:
- RSS
- Email Alert
Carnegie Mellon University
(460 results)-
White Papers
A Contractual Anonymity System
December 18, 2009, 12:00am PST
The authors propose, develop, and implement techniques for achieving contractual anonymity. In contractual anonymity, a user and service provider enter into an anonymity contract. The user is...
Provided by Carnegie Mellon University
-
White Papers
A Language for Large Ensembles of Independently Executing Nodes
September 13, 2009, 12:00am PDT
The authors address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which they call ensembles, include...
Provided by Carnegie Mellon University
-
White Papers
On Configuring BGP Route Reflectors
January 1, 2012, 12:00am PST
The Border Gateway Protocol (BGP) is the standard protocol for exchanging routing information between border routers of Autonomous Systems (ASes) in today's Internet. Within an AS, border routers...
Provided by Carnegie Mellon University
-
White Papers
The Case for VOS: The Vector Operating System
April 13, 2011, 12:00am PDT
Operating systems research for many-core systems has recently focused its efforts on supporting the scalability of OS-intensive applications running on increasingly parallel hardware. Lost amidst...
Provided by Carnegie Mellon University
-
White Papers
Challenges and Opportunities for Efficient Computing With FAWN
January 1, 2011, 12:00am PST
This paper presents the architecture and motivation for a cluster-based, many-core computing architecture for energy-efficient, data-intensive computing. FAWN, a Fast Array of Wimpy Nodes,...
Provided by Carnegie Mellon University
-
White Papers
Exact Pattern Matching With Feed-Forward Bloom Filters
January 11, 2011, 12:00am PST
This paper presents a new, memory efficient and cache-optimized algorithm for simultaneously searching for a large number of patterns in a very large corpus. This algorithm builds upon the...
Provided by Carnegie Mellon University
-
White Papers
Efficient Similarity Estimation for Systems Exploiting Data Redundancy
December 21, 2009, 12:00am PST
Many modern systems exploit data redundancy to improve efficiency. These systems split data into chunks, generate identifiers for each of them, and compare the identifiers among other data items...
Provided by Carnegie Mellon University
-
White Papers
CLAMP: Practical Prevention of Large-Scale Data Leaks
March 8, 2009, 12:00am PST
Providing online access to sensitive data makes web servers lucrative targets for attackers. A compromise of any of the web server's scripts, applications, or operating system can leak the...
Provided by Carnegie Mellon University
-
White Papers
Higher-Order Representation of Substructural Logics
July 26, 2010, 12:00am PDT
The authors present a technique for higher-order representation of sub-structural logics such as linear or modal logic. They show that such logics can be encoded in the (ordinary) Logical...
Provided by Carnegie Mellon University
-
White Papers
A Syntactic Account of Singleton Types Via Hereditary Substitution
July 1, 2009, 12:00am PDT
The authors give a syntactic proof of decidability and consistency of equivalence for the singleton type calculus, which lies at the foundation of modern module systems such as that of ML. Unlike...
Provided by Carnegie Mellon University
-
White Papers
Type-Safe Distributed Programming With ML5
October 8, 2007, 12:00am PDT
The authors present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be developed and reasoned...
Provided by Carnegie Mellon University
-
White Papers
Formalizing Domains, Ultrametric Spaces and Semantics of Programming Languages
July 12, 2010, 12:00am PDT
The use of proof assistants in formalizing language meta-theory and implementing certified tools has grown enormously over the last decade, and is now a major trend in programming language...
Provided by Carnegie Mellon University
-
White Papers
Design Patterns in Separation Logic
November 24, 2008, 12:00am PST
Object-oriented programs are notable for making use of both higher-order abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the combination...
Provided by Carnegie Mellon University
-
White Papers
Rethinking the Service Model: Scaling Ethernet to a Million Nodes
January 1, 2008, 12:00am PST
Ethernet has been a cornerstone networking technology for over 30 years. During this time, Ethernet has been extended from a shared-channel broadcast network to include support for sophisticated...
Provided by Carnegie Mellon University
-
White Papers
CSAMP: A System for Network-Wide Flow Monitoring
February 19, 2008, 12:00am PST
Critical network management applications increasingly demand fine-grained flow level measurements. However, current flow monitoring solutions are inadequate for many of these applications. This...
Provided by Carnegie Mellon University
-
White Papers
ACComplice: Location Inference Using Accelerometers on Smartphones
December 2, 2011, 12:00am PST
The security and privacy risks posed by smartphone sensors such as microphones and cameras have been well documented. However, the importance of accelerometers have been largely ignored. The...
Provided by Carnegie Mellon University
-
White Papers
Network Fault Localization With Small TCB
September 2, 2011, 12:00am PDT
Clear evidence indicates the existence of compromised routers in ISP and enterprise networks. Fault Localization (FL) protocols enable a network to localize specific links of compromised routers...
Provided by Carnegie Mellon University
-
White Papers
Secure Distributed Data Aggregation
July 7, 2011, 12:00am PDT
The authors present a survey of the various families of approaches to secure aggregation in distributed networks such as sensor networks. In their survey, they focus on the important algorithmic...
Provided by Carnegie Mellon University
-
White Papers
ShortMAC: Efficient Data-Plane Fault Localization
December 12, 2011, 12:00am PST
The rising demand for high-quality online services requires reliable packet delivery at the network layer. Data-plane fault localization is recognized as a promising means to this end, since it...
Provided by Carnegie Mellon University
-
White Papers
A Picture IsWorth a ThousandWords: Improving Usability and Robustness of Online Recommendation Systems
May 12, 2011, 12:00am PDT
Recent statistics show that the number of online shoppers are increasing where the majority of them use online recommendation systems for product/service reviews. Although online reviews are...
Provided by Carnegie Mellon University
-
White Papers
XTRec: Secure Real-Time Execution Trace Recording on Commodity Platforms
September 15, 2010, 12:00am PDT
The authors propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Their primitive is resilient to compromise to provide integrity of the...
Provided by Carnegie Mellon University
-
White Papers
Challenges in Access Right Assignment for Secure Home Networks
July 20, 2010, 12:00am PDT
The proliferation of advanced technologies has been altering the peoples lifestyle and social interactions - the next frontier is the digital home. Although the future of smart homes is promising,...
Provided by Carnegie Mellon University
-
White Papers
More is Less: Denial-of-Service Attacks and Solutions in Many-Core On-Chip Networks
July 23, 2010, 12:00am PDT
A many-core system is expected to outperform a traditional single-core system by enabling multiple applications to be executed on separate cores in parallel, given the generous assumption that the...
Provided by Carnegie Mellon University
-
White Papers
Round-Efficient Broadcast Authentication Protocols for Fixed Topology Classes
March 7, 2010, 12:00am PST
The authors consider resource-constrained broadcast authentication for n receivers in a static, known network topology. There are only two known broadcast authentication protocols that do not use...
Provided by Carnegie Mellon University
-
White Papers
TrustVisor: Efficient TCB Reduction and Attestation
March 7, 2010, 12:00am PST
An important security challenge is to protect the execution of security-sensitive code on legacy systems from malware that may infect the OS, applications, or system devices. Prior work...
Provided by Carnegie Mellon University
-
White Papers
Bootstrapping Trust in Commodity Computers
June 2, 2010, 12:00am PDT
Trusting a computer for a security-sensitive task (such as checking email or banking online) requires the user to know something about the computer's state. The authors examine research on...
Provided by Carnegie Mellon University
-
White Papers
Privacy-Preserving Relationship Path Discovery in Social Networks
September 18, 2009, 12:00am PDT
As social networks sites continue to proliferate and are being used for an increasing variety of purposes, the privacy risks raised by the full access of social networking sites over user data...
Provided by Carnegie Mellon University
-
White Papers
A Study of User-Friendly Hash Comparison Schemes
September 25, 2009, 12:00am PDT
Several security protocols require a human to compare two hash values to ensure successful completion. When the hash values are represented as long sequences of numbers, humans may make a mistake...
Provided by Carnegie Mellon University
-
White Papers
Centaur: A Hybrid Approach for Reliable Policy-Based Routing
April 9, 2009, 12:00am PDT
In this paper, the authors consider the design of a policy-based routing system and the role that link state might play. Looking at the problem from a link-state perspective, they propose Centaur,...
Provided by Carnegie Mellon University
-
White Papers
Bootstrapping Trust in a "Trusted" Platform
July 16, 2008, 12:00am PDT
For the last few years, many commodity computers have come equipped with a Trusted Platform Module (TPM). Existing research shows that the TPM can be used to establish trust in the software...
Provided by Carnegie Mellon University
-
White Papers
Efcient Mechanisms to Provide Convoy Member and Vehicle Sequence Authentication in VANETs
January 1, 2011, 12:00am PST
Vehicular Ad hoc NETworks (VANETs) are on the verge of deployment. In the near future, wireless vehicle-to-vehicle and vehicle-to-infrastructure communication will enable numerous safety,...
Provided by Carnegie Mellon University
-
White Papers
Network Storage Solutions for Computer Clusters
July 27, 2008, 12:00am PDT
The network filesystem is one of the major performance bottlenecks for parallel computer clusters. This paper presents comparative results of different options, including filesystems like NFS and...
Provided by Carnegie Mellon University
-
White Papers
Curbing Android Permission Creep
May 12, 2011, 12:00am PDT
The Android platform has about 130 application level permissions that govern access to resources. The determination of which permissions to request is left solely to the application developer....
Provided by Carnegie Mellon University
-
White Papers
Talking to Yourself for Fun and Profit
May 11, 2011, 12:00am PDT
Browsers limit how web sites can access the network. Historically, the web platform has limited web sites to HTTP, but HTTP is inefficient for a number of applications - including chat and...
Provided by Carnegie Mellon University
-
White Papers
Critical Vulnerability in Browser Security Metrics
May 11, 2010, 12:00am PDT
Every time a browser vendor releases a patch for a critical vulnerability, the popular news media publishes a slew of negative press paper detailing the security holes that have been announced in...
Provided by Carnegie Mellon University
-
White Papers
RT @IWantPrivacy:Widespread Violation of Privacy Settings in the Twitter Social Network
July 12, 2010, 12:00am PDT
Twitter is a social network that focuses on creating and sharing short 140 character messages know as tweets. Twitter's sole privacy policy is a binary option that either allows every message a...
Provided by Carnegie Mellon University
-
White Papers
HookFinder: Identifying and Understanding Malware Hooking Behaviors
December 19, 2007, 12:00am PST
Installing various hooks into the victim system is an important attacking strategy employed by malware, including spyware, rootkits, stealth backdoors, and others. In order to defeat existing hook...
Provided by Carnegie Mellon University
-
White Papers
Analysis-Resistant Malware
December 19, 2007, 12:00am PST
Traditionally, techniques for computing on encrypted data have been proposed with privacy preserving applications in mind. Several current cryptosystems support a homomorphic operation, allowing...
Provided by Carnegie Mellon University
-
White Papers
Traffic Aggregation for Malware Detection
May 21, 2008, 12:00am PDT
Stealthy malware, such as botnets and spyware, are hard to detect because their activities are subtle and do not disrupt the network, in contrast to DoS attacks and aggressive worms. Stealthy...
Provided by Carnegie Mellon University
-
White Papers
An Empirical Analysis of Phishing Blacklists
July 17, 2009, 12:00am PDT
In this paper, the authors study the effectiveness of phishing black-lists. They used 191 fresh phish that were less than 30 minutes old to conduct two tests on eight anti-phishing tool-bars. They...
Provided by Carnegie Mellon University
-
White Papers
A Framework for Modeling the Software Assurance Ecosystem: Insights From the Software Assurance Landscape Project
August 1, 2010, 12:00am PDT
Today's operational environments are complex and dynamic. User needs and environmental factors are constantly changing, which leads to unanticipated usage, reconfiguration, and continuous...
Provided by Carnegie Mellon University
-
White Papers
Measurement and Analysis Infrastructure Diagnostic, Version 1.0: Method Definition Document
August 1, 2010, 12:00am PDT
Given the importance of measurement and analysis in decision making, organizations need to ensure their data, analyses, and corresponding reports are of high quality and meet the information needs...
Provided by Carnegie Mellon University
-
White Papers
Software Assurance Curriculum Project Volume I: Master of Software Assurance Reference Curriculum
August 1, 2010, 12:00am PDT
Modern society is deeply and irreversibly dependent on software systems of remarkable scope and complexity in areas including defense, government, energy, communication, transportation,...
Provided by Carnegie Mellon University
-
White Papers
T-Check in System-of-Systems Technologies: Cloud Computing
September 1, 2010, 12:00am PDT
This paper presents the results of applying the T-Check method in an initial investigation of cloud computing. In this report, three hypotheses are examined: an organization can use its existing...
Provided by Carnegie Mellon University
-
White Papers
Emerging Technologies for Software-Reliant Systems of Systems
September 1, 2010, 12:00am PDT
This paper presents general computation trends and a particular set of emerging technologies to support the trends for software-reliant Systems of Systems (SoSs). Software-reliant SoSs now tend to...
Provided by Carnegie Mellon University
-
White Papers
Security Requirements Reusability and the SQUARE Methodology
September 1, 2010, 12:00am PDT
Security is an important and complex quality attribute in many software-intensive systems. Unfortunately security is often neglected in the requirements stage of the development life cycle....
Provided by Carnegie Mellon University
-
White Papers
Suggestions for Documenting SOA-Based Systems
September 1, 2010, 12:00am PDT
This paper provides suggestions for documenting service-oriented architecture-based systems based on the Views & Beyond (V&B) software documentation approach. The V&B documentation approach is a...
Provided by Carnegie Mellon University
-
White Papers
Using TSP Data to Evaluate Your Project Performance
September 1, 2010, 12:00am PDT
The Team Software Process (TSP) provides a framework to predictably and effectively build software-intensive products. It relies on data collected by team members to provide insight into how a...
Provided by Carnegie Mellon University
-
White Papers
Integrated Measurement and Analysis Framework for Software Security
September 1, 2010, 12:00am PDT
In today's business and operational environments, multiple organizations routinely work collaboratively to acquire, develop, deploy, and maintain technical capabilities via a set of...
Provided by Carnegie Mellon University
-
White Papers
A Workshop on Analysis and Evaluation of Enterprise Architectures
November 1, 2010, 12:00am PDT
This paper summarizes a workshop on analysis and evaluation of enterprise architectures that was held at the Carnegie Mellon Software Engineering Institute (SEI). The SEI invited accomplished...
Provided by Carnegie Mellon University
-
White Papers
Performance Analysis of WS-Security Mechanisms in SOAP-Based Web Services
November 1, 2010, 12:00am PDT
Identity Management (IdM) solutions in web services environments are often compared on the levels of performance and security they provide. Selecting the appropriate IdM solution for a given...
Provided by Carnegie Mellon University
-
White Papers
Combining Architecture-Centric Engineering With the Team Software Process
December 1, 2010, 12:00am PST
This paper contains a description of an architecture-centric life-cycle model that uses the Carnegie Mellon Software Engineering Institute's Architecture-Centric Engineering (ACE) methods embedded...
Provided by Carnegie Mellon University
-
White Papers
The CERT Approach to Cybersecurity Workforce Development
December 1, 2010, 12:00am PST
For a cybersecurity workforce to be effective, its members must possess the knowledge, skills, and experience required to perform their job duties. Proficiency and relevance are key factors in...
Provided by Carnegie Mellon University
-
White Papers
Source Code Analysis Laboratory (SCALe) for Energy Delivery Systems
December 1, 2010, 12:00am PST
The Source Code Analysis Laboratory (SCALe) is an operational capability that tests software applications for conformance to one of the CERT secure coding standards. CERT secure coding standards...
Provided by Carnegie Mellon University
-
White Papers
Adaptive Flow Control for Enabling Quality of Service in Tactical Ad Hoc Wireless Networks
December 1, 2010, 12:00am PST
Many visions for the future involve pervasive computing technology that links people and devices together to solve complex problems. The Global Information Grid (GIG), for example, as well as the...
Provided by Carnegie Mellon University
-
White Papers
Deriving Candidate Technical Controls and Indicators of Insider Attack From Socio-Technical Models and Data
January 1, 2011, 12:00am PST
The insider threat continues to be one of the prime issues facing government entities and organizations across critical infrastructure sectors. This paper seeks to demonstrate how a useful method...
Provided by Carnegie Mellon University
-
White Papers
Trust and Trusted Computing Platforms
January 1, 2011, 12:00am PST
This paper examines the capabilities and limitations of hardware-based trusted platforms in general, and the Trusted Platform Module (TPM) from the perspective of trusted applications in...
Provided by Carnegie Mellon University
-
White Papers
Secure Design Patterns
October 1, 2009, 12:00am PDT
The cost of fixing system vulnerabilities and the risk associated with vulnerabilities after system deployment are high for both developers and end users. While there are a number of best...
Provided by Carnegie Mellon University
-
White Papers
CMMI for Development, Version 1.3
November 1, 2010, 12:00am PDT
CMMI (Capability Maturity Model Integration) models are collections of best practices that help organizations to improve their processes. These models are developed by product teams with members...
Provided by Carnegie Mellon University
-
White Papers
A Research Agenda for Service-Oriented Architecture (SOA): Maintenance and Evolution of Service-Oriented Systems
March 1, 2010, 12:00am PST
Despite recent reports that it has failed, the reality is that Service-Oriented Architecture (SOA) remains the best option available for systems integration and leverage of legacy systems. The...
Provided by Carnegie Mellon University
-
White Papers
SCI-FI: Domain-Based Scalability, Control and Isolation for the Future Internet
December 28, 2010, 12:00am PST
This paper presents the first Internet architecture designed for control and isolation. The authors of this paper propose to separate ASes into groups of independent routing sub-planes which then...
Provided by Carnegie Mellon University
-
White Papers
Best Practices for National Cyber Security: Building a National Computer Security Incident Management Capability
June 1, 2010, 12:00am PDT
Managing cyber security through a national strategy is a necessity common to all national governments in the 21st century. Critical infrastructure in most nations, from transportation and power...
Provided by Carnegie Mellon University
-
White Papers
A Taxonomy of Operational Cyber Security Risks
December 1, 2010, 12:00am PST
This paper presents a taxonomy of operational cyber security risks that attempts to identify and organize the sources of operational cyber security risk into four classes: actions of people,...
Provided by Carnegie Mellon University
-
White Papers
New Product Diffusion Over A Social Network: The Case Of The iPhone
May 31, 2009, 12:00am PDT
In this paper the author study the diffusion of the iPhone over a period of several months after its launch. In particular, the author is interested in how adoption and diffusion processes are...
Provided by Carnegie Mellon University
-
White Papers
Requirements for an Integrity-Protected Hypervisor on the X86 Hardware Virtualized Architecture
April 12, 2010, 12:00am PDT
Virtualization has been purported to be a panacea for many security problems. The authors analyze the feasibility of constructing an integrity-protected hypervisor on contemporary x86 hardware...
Provided by Carnegie Mellon University
-
White Papers
Virtualized Full-System Emulation of Multiprocessors Using FPGAs
June 21, 2007, 12:00am PDT
After years of sustained focus on uniprocessor performance, the "Power wall" has started the microprocessor hardware and software industry down the MultiProcessing (MP) path. This transition...
Provided by Carnegie Mellon University
-
White Papers
Ecotopia: An Ecological Framework For Change Management In Distributed Systems
August 28, 2007, 12:00am PDT
Dynamic change management in an autonomic, service-oriented infrastructure is likely to disrupt the critical services delivered by the infrastructure. Furthermore, change management must...
Provided by Carnegie Mellon University
-
White Papers
Real-Time Software Implementation of an IEEE 802.11a Baseband Receiver on Intel Multicore
July 7, 2010, 12:00am PDT
This paper presents a software-only implementation of an IEEE 802.11a (WiFi) receiver optimized for Intel multicore platforms. The receiver is about 50 times faster than a straightforward C...
Provided by Carnegie Mellon University
-
White Papers
Bringing the Cloud Down to Earth: Transient PCs Everywhere
September 2, 2010, 12:00am PDT
The convergence of cloud computing with mobile computing opens the door to the creation of new applications and services that can be delivered to users at any time and any place. At the heart of...
Provided by Carnegie Mellon University
-
White Papers
Competitive Responses Of Pricing, Advertising And Product Premium To Consumer Reviews
June 1, 2010, 12:00am PDT
Consumer product reviews, one of the earliest forms of online user generated contents, play a very significant role in consumer buying decisions as they help consumers resolve or reduce...
Provided by Carnegie Mellon University
-
White Papers
Secure Wireless Communications: Secret Keys Through Multipath
January 16, 2008, 12:00am PST
Secure wireless communications is a challenging problem due to the shared nature of the wireless medium. Most existing security protocols apply cryptographic techniques for bit scrambling at the...
Provided by Carnegie Mellon University
-
White Papers
Mobile Computing: the Next Decade
June 4, 2010, 12:00am PDT
Information at the fingertips anywhere, anytime has been the driving vision of mobile computing for the past two decades. Through relentless pursuit of this vision, spurring innovations in...
Provided by Carnegie Mellon University
-
White Papers
Impact of Clustering on the BER Performance of Ad Hoc Wireless Networks
August 19, 2009, 12:00am PDT
Ad hoc wireless networks are characterized by multi-hop radio communications. The spatial distribution of the nodes is seldom perfectly regular. In particular, in a realistic ad hoc wireless...
Provided by Carnegie Mellon University
-
White Papers
Java Concurrency Guidelines
May 1, 2010, 12:00am PDT
An essential element of secure coding in the Java programming language is well-documented and enforceable coding standards. Coding standards encourage programmers to follow a uniform set of...
Provided by Carnegie Mellon University
-
White Papers
FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System
October 20, 2007, 12:00am PDT
With the advent of CMOS cameras, it is now possible to make compact, cheap and low-power image sensors capable of on-board image processing. These embedded vision sensors provide a rich new...
Provided by Carnegie Mellon University
-
White Papers
Got Predictability? Experiences With Fault-Tolerant Middleware
December 18, 2007, 12:00am PST
Unpredictability in COTS-based systems often manifests as occasional instances of uncontrollably-high response times. A particular category of COTS systems, Fault-Tolerant (FT) middleware, is used...
Provided by Carnegie Mellon University
-
White Papers
A Resource Allocation Model for QoS Management
January 1, 2010, 12:00am PST
Quality of Service (QoS) has been receiving wide attention in recent years in many research communities including networking, multimedia systems and distributed systems. In large distributed...
Provided by Carnegie Mellon University
-
White Papers
Room-Level Wi-Fi Location Tracking
November 1, 2008, 12:00am PDT
Context-aware applications for indoor intelligent environments require an appropriately accurate and stable interior positioning system to adapt services to the location of a mobile user or mobile...
Provided by Carnegie Mellon University
-
White Papers
A Performance Comparison of On-Demand Multicast Routing Protocols for Ad Hoc Networks
October 1, 2010, 12:00am PDT
In this paper, authors present a comparative performance evaluation of three general-purpose ondemand multicast protocols, namely ADMR, MAODV, and ODMRP, focusing on the effects of changes such as...
Provided by Carnegie Mellon University
-
White Papers
Techniques for Bandwidth-Efficient Prefetching of Linked Data Structures in Hybrid Prefetching Systems
February 20, 2009, 12:00am PST
This paper proposes a low-cost hardware/software cooperative technique that enables bandwidth-efficient prefetching of linked data structures. The solution has two new components: a compiler...
Provided by Carnegie Mellon University
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
