- Subscribe to this page:
- RSS
- Email Alert
Karlsruhe Institute of Technology (KIT)
(143 results)-
White Papers
Manageability Design for an Autonomic Management of Semi-Dynamic Web Service Compositions
July 18, 2008, 12:00am PDT
Web Service Compositions (WSC), as part of a Service-Oriented Architecture (SOA), have to be managed to ensure compliance with guaranteed service levels. In this context, a high degree of...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Towards Automatic Construction of Reusable Prediction Models for Component-Based Performance Engineering
January 23, 2008, 12:00am PST
Performance predictions for software architectures can reveal performance bottlenecks and quantitatively support design decisions for different architectural alternatives. As software architects...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Software Extension Mechanisms
September 30, 2008, 12:00am PDT
Industrial software projects not only have to deal with the number of features in the software system. Also issues like quality, flexibility, reusability, extensibility, developer and user...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
ByCounter: Portable Runtime Counting of Bytecode Instructions and Method Invocations
February 22, 2008, 12:00am PST
For bytecode-based applications, run-time instruction counts can be used as a platform-independent application execution metric, and also can serve as the basis for bytecode-based performance...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction
July 24, 2008, 12:00am PDT
Model-based performance prediction methods aim at evaluating the expected response time, throughput, and resource utilisation of a software system at design time, before implementation. Existing...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method
July 21, 2008, 12:00am PDT
Component-Based Software Performance Engineering (CBSPE) methods shall enable software architects to assess the expected response times, throughputs, and resource utilization of their systems...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Performance-Oriented Design Space Exploration
November 18, 2008, 12:00am PST
Architectural models of component-based software systems are evaluated for functional properties and/or extra-functional properties (e.g. by doing performance predictions). However, after getting...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
A Case Study on Model-Driven and Conventional Software Development: The Palladio Editor
November 13, 2007, 12:00am PST
The actual benefits of model-driven approaches compared to code-centric development have not been systematically investigated. This paper presents a case study in which functional identical...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Predicting Software Component Performance: On the Relevance of Parameters for Benchmarking Bytecode and APIs
June 19, 2007, 12:00am PDT
Performance prediction of component-based software systems is needed for systematic evaluation of design decisions, but also when an application's execution system is changed. Often, the entire...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
A Manageability Infrastructure for the Monitoring of Web Service Compositions
June 18, 2008, 12:00am PDT
The management of web service composition, where the employed atomic web services as well as the compositions themselves are offered on basis of Service Level Agreements (SLA), implies new...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
The KeY Approach for the Cryptographic Verification of JAVA Programs: A Case Study
April 2, 2012, 12:00am PDT
In this paper, the authors report on an ongoing case study in which they use the KeY tool, a theorem prover for checking functional correctness and noninterference properties of JAVA programs, to...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Tightly Secure Signatures and Public-Key Encryption
June 13, 2012, 12:00am PDT
The authors construct the first public-key encryption scheme whose chosen-ciphertext (i.e., INDCCA) security can be proved under a standard assumption and does not degrade in either the number of...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Secure Information Flow for Java a Dynamic Logic Approach
March 22, 2012, 12:00am PDT
In this paper, the authors discuss and define an information flow property for sequential Java that takes into account information leakage through objects (as opposed to primitive values). They...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Dynamic Logic With Trace Semantics
February 2, 2012, 12:00am PST
Dynamic Logic (DL) is an established instrument for program verification and for reasoning about the semantics of programs and programming languages. In this paper, the authors define an extension...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Quantifying Information Flow in Programs Using Program Logics
January 20, 2012, 12:00am PST
The authors have explained a precise quantitative information flow analysis can be built on top of a direct formalization of indistinguishability in Dynamic Logic. They have used three publicly...
Provided by Karlsruhe Institute of Technology (KIT)
-
Whitepapers
Verification of Information Flow Properties of Java Programs Without Approximations
January 13, 2012, 12:00am PST
In this paper, the authors propose a methodology for the specification and verification of information flow properties for sequential Java programs. This proposal also covers declassification....
Provided by Karlsruhe Institute of Technology (KIT)
-
Whitepapers
Model-Based Techniques for Performance Engineering of Business Information Systems
February 15, 2012, 12:00am PST
With the increasing adoption of virtualization and the transition towards Cloud Computing platforms, modern business information systems are becoming increasingly complex and dynamic. This raises...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Architectural Concerns in Multi-Tenant SaaS Applications
March 14, 2012, 12:00am PDT
Multi-tenant applications serve different customers with one application instance. This architectural style leverages sharing and economies of scale to provide cost efficient hosting. As...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
SLA Based Service Brokering in Intercloud Environments
April 3, 2012, 12:00am PDT
The fast emerging Cloud computing market over the last years resulted in a variety of heterogeneous and less interoperable Cloud infrastructures. This leads to a challenging and urgent problem for...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Energy-Efficient Activity Recognition Using Prediction
March 19, 2012, 12:00am PDT
Energy storage is quickly becoming the limiting factor in mobile pervasive technology. For intelligent wearable applications to be practical, methods for low power activity recognition must be...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Global Peer-to-Peer Classification in Mobile Ad-Hoc Networks: A Requirements Analysis
July 8, 2011, 12:00am PDT
This paper examines global context classification in Peer-To-Peer Ad-hoc Mobile wireless NETworks (P2P-MANETs). To begin, circumstances are presented in which such systems would be required to...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
An Experiment in Hierarchical Recognition of Group Activities Using Wearable Sensors
July 8, 2011, 12:00am PDT
Pervasive computing envisions implicit interaction between people and their intelligent environments instead of individual devices, inevitably leading to groups of individuals interacting with the...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Group Activity Recognition Using Mobile Devices
May 2, 2012, 12:00am PDT
Group activities are more than the sum of the activities of the individuals in them, but are rather generated by those activities and interactions between group members. This paper proposes Group...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Using Prediction to Conserve Energy in Recognition on Mobile Devices
January 28, 2011, 12:00am PST
As devices are expected to be aware of their environment, the challenge becomes how to accommodate these abilities with the power constraints which plague modern mobile devices. The authors...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Dinam: A Wireless Sensor Network Concept and Platform for Rapid Development
May 28, 2011, 12:00am PDT
dinam is a novel approach to simplified rapid prototyping of wireless sensor network applications as well as an according WSN platform. As opposed to the traditional mote-based development...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
A Novel Micro-Vibration Sensor for Activity Recognition: Potential and Limitations
August 25, 2010, 12:00am PDT
This paper researches the potential of a novel ball switch as a wearable vibration sensor for activity recognition. The ball switch is available as a commercial, off-the-shelf sensor and is unique...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
ActiServ: Activity Recognition Service for Mobile Phones
August 19, 2010, 12:00am PDT
Smart phones have become a powerful platform for wearable context recognition. The authors present a service-based recognition architecture which creates an evolving classification system using...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Collision-Balancing Frequency Hopping in Single-Hop Mobile Ad Hoc Networks
June 9, 2012, 12:00am PDT
The authors consider a single-hop Frequency Hopping (FH) Mobile Ad hoc NETwork (MANET). To increase throughput Orthogonal FH (O-FH) with hop-synchronous hopping can be used, thereby allowing...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Spectral Estimation-Based OFDM Radar Algorithms for IEEE 802.11a Signals
June 11, 2012, 12:00am PDT
Recently, OFDM radar has gained attention as new algorithms for range and Doppler estimation specific to OFDM signals have been developed. The major advantage of OFDM is that it is both...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
A USRP-Based Testbed for OFDM-Based Radar and Communication Systems
April 16, 2012, 12:00am PDT
In this paper, the authors present a measurement testbed for OFDM radar which uses USRPs as a front-end. The resulting system, using two USRPs and a laptop, requires little power and can thus be...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Interference and Throughput in Aloha-based Ad Hoc Networks With Isotropic Node Distribution
May 18, 2012, 12:00am PDT
The authors study the interference and outage statistics in a slotted Aloha ad hoc network, where the spatial distribution of nodes is non-stationary and isotropic. In such a network, outage...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Optimizing Practical Adaptive Frequency Hopping and Medium Access Control in Ad Hoc Networks
March 30, 2012, 12:00am PDT
Adaptive Frequency Hopping (AFH) as proposed, e.g., in IEEE 802.15.2 aims at increasing system reliability in the presence of quasi-static external interference. Practical approaches require...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Adaptive Frequency Hopping in Ad Hoc Networks With Rayleigh Fading and Imperfect Sensing
May 21, 2012, 12:00am PDT
A probabilistic model for Adaptive Frequency Hopping (AFH) based wireless ad hoc networks with Rayleigh fading, where interference is due to self - and to slow-varying external interference, is...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Multiple Access Interference Mitigation Through Multi-Level Locally Orthogonal FH-CDMA
April 29, 2011, 12:00am PDT
Multi-Level Locally Orthogonal Frequency Hopping Mode Division Multiple Access (MLLO-FH-CDMA) is introduced as a novel method to reduce self-interference in large scale FHCDMA ad hoc networks. It...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Capacity Regions of Wireless Multi-Channel Ad Hoc Networks
June 10, 2011, 12:00am PDT
The authors consider the influence of FDMA on the capacity region of wireless ad hoc networks with a small number of nodes. It is found that FDMA offers an additional degree of freedom that is...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
On the Single-Target Accuracy of OFDM Radar Algorithms
August 3, 2011, 12:00am PDT
Two OFDM radar algorithms (the Maximum Likelihood and a MUSIC-based algorithm) are introduced and their fundamental limits concerning accuracy are explained. To simplify the analysis, the authors...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
An Over-the-Air Reconfiguration API for Experimental Cognitive Radio Setups
March 22, 2011, 12:00am PDT
The authors present a software solution for over-the-air reconfiguration of remote software radio terminals using the free GNU Radio toolkit, facilitating the development of Cognitive Radio...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Narrow- and Broadband Interference Robustness for OOK/BPPM Based Energy Detection
September 21, 2010, 12:00am PDT
An analysis of narrow- and broadband interference robustness within an On-Off Keying/Binary Pulse Position Modulation based non-coherent multiband impulse radio ultra-wideband communication system...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Lower Bounds on the Success Probability for Ad Hoc Networks With Local FDMA Scheduling
May 4, 2011, 12:00am PDT
This paper studies the performance of ad hoc networks with local FDMA scheduling using stochastic point processes. In such networks, the Poisson assumption is not justified due to...
Provided by Karlsruhe Institute of Technology
-
Whitepapers
Resolving the Connectivity-Throughput Trade-Off in Random Networks
February 22, 2011, 12:00am PST
The discrepancy between the upper bound on throughput scaling in wireless networks and the throughput scaling in random networks is due to the connectivity-throughput trade-off. In this paper,...
Provided by Karlsruhe Institute of Technology
-
White Papers
An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method
July 21, 2008, 12:00am PDT
Component-Based Software Performance Engineering (CBSPE) methods shall enable software architects to assess the expected response times, throughputs, and resource utilization of their systems...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction
July 24, 2008, 12:00am PDT
Model-based performance prediction methods aim at evaluating the expected response time, throughput, and resource utilisation of a software system at design time, before implementation. Existing...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
ByCounter: Portable Runtime Counting of Bytecode Instructions and Method Invocations
February 22, 2008, 12:00am PST
For bytecode-based applications, run-time instruction counts can be used as a platform-independent application execution metric, and also can serve as the basis for bytecode-based performance...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Software Extension Mechanisms
September 30, 2008, 12:00am PDT
Industrial software projects not only have to deal with the number of features in the software system. Also issues like quality, flexibility, reusability, extensibility, developer and user...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Towards Automatic Construction of Reusable Prediction Models for Component-Based Performance Engineering
January 23, 2008, 12:00am PST
Performance predictions for software architectures can reveal performance bottlenecks and quantitatively support design decisions for different architectural alternatives. As software architects...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Manageability Design for an Autonomic Management of Semi-Dynamic Web Service Compositions
July 18, 2008, 12:00am PDT
Web Service Compositions (WSC), as part of a Service-Oriented Architecture (SOA), have to be managed to ensure compliance with guaranteed service levels. In this context, a high degree of...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Reverse Engineering Software-Models of Component-Based Systems
October 12, 2009, 12:00am PDT
An increasing number of software systems is developed using component technologies such as COM, CORBA, or EJB. Still, there is a lack of support to reverse engineer such systems. Existing...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Reverse Engineering of Parametric Behavioural Service Performance Models From Black-Box Components
April 21, 2009, 12:00am PDT
Integrating heterogeneous software systems becomes increasingly important. It requires combining existing components to form new applications. Such new applications are required to satisfy...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Mining Edge-Weighted Call Graphs to Localise Software Bugs
September 2, 2008, 12:00am PDT
An important problem in software engineering is the automated discovery of non-crashing occasional bugs. In this paper, the authors address this problem and show that mining of weighted call...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Automatic, Model-Based Software Performance Improvement for Component-Based Software Designs
February 2, 2009, 12:00am PST
Formal performance prediction methods, based on queueing network models, allow evaluating software architectural designs for performance. Existing methods provide prediction results such as...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods
February 4, 2009, 12:00am PST
Automated generation of method parameters is needed in benchmarking scenarios where manual or random generation of parameters are not suitable, do not scale or are too costly. However, for a...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
TIMERMETER: Quantifying Properties of Software Timers for System Analysis
June 16, 2009, 12:00am PDT
To analyze run-time behaviour and performance of software systems, accurate time measurements are needed. For this, timer methods are used, which are based on hardware timers and counters that are...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Automated Feature Model-Based Generation of Refinement Transformations
May 25, 2009, 12:00am PDT
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transformations are used....
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Performance Evaluation of Scheduling Policies in Symmetric Multiprocessing Environments
June 17, 2009, 12:00am PDT
The shift of hardware architecture towards parallel execution led to a broad usage of multi-core processors in desktop systems and in server systems. The benefit of additional processor cores for...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Towards Self-Aware Performance and Resource Management in Modern Service-Oriented Systems
May 18, 2010, 12:00am PDT
Modern service-oriented systems have increasingly complex loosely-coupled architectures that often exhibit poor performance and resource efficiency and have high operating costs. This is due to...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Evaluating Maintainability With Code Metrics for Model-to-Model Transformations
April 15, 2010, 12:00am PDT
Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of transformations is...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Systematic Refinement of Performance Models for Concurrent Component-Based Systems
April 15, 2010, 12:00am PDT
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity of detailed...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Statistical Inference of Software Performance Models for Parametric Performance Completions
April 9, 2010, 12:00am PDT
Software Performance Engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challenging. Most...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
A Prediction Model for Software Performance in Symmetric Multiprocessing Environments
June 18, 2010, 12:00am PDT
The broad introduction of multi-core processors made Symmetric MultiProcessing (SMP) environments mainstream. The additional cores can significantly increase software performance. However, their...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
A Change Metamodel for the Evolution of MOF-Based Metamodels
March 15, 2010, 12:00am PDT
The evolution of software systems often produces incompatibilities with existing data and applications. To prevent incompatibilities, changes have to be well-planned, and developers should know...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Reverse Engineering Component Models for Quality Predictions
December 14, 2009, 12:00am PST
Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modifications due to...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Automated Benchmarking of Java APIs
January 29, 2010, 12:00am PST
Performance is an extra-functional property of software systems which is often critical for achieving sufficient scalability or efficient resource utilisation. As many applications are built using...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Benchmarking Publish/Subscribe-Based Messaging Systems
February 6, 2010, 12:00am PST
Publish/subscribe-based messaging systems are used increasingly often as a communication mechanism in data-oriented web applications. Such applications often pose serious performance and...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Towards Formal Certification of Software Components
May 31, 2010, 12:00am PDT
Software certification as it is practised today guarantees that certain standards are kept in the process of software development. However, this does not make any statements about the actual...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Engineering of Next Generation Self-Aware Software Systems: A Research Roadmap
June 2, 2010, 12:00am PDT
With the increasing adoption of virtualization and the transition towards cloud computing platforms, modern enterprise software systems are becoming increasingly complex and dynamic. The lack of...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Automated Transformation of Component-Based Software Architecture Models to Queueing Petri Nets
May 9, 2011, 12:00am PDT
Performance predictions early in the software development process can help to detect problems before resources have been spent on implementation. The Palladio Component Model (PCM) is an example...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Performance Engineering of Business Information Systems: Filling the Gap Between High-Level Business Services and Low-Level Performance Models
May 24, 2011, 12:00am PDT
With the increasing adoption of virtualization and the transition towards Cloud Computing platforms, modern business information systems are becoming increasingly complex and dynamic. This raises...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Capacity Planning for Event-Based Systems Using Automated Performance Predictions
October 18, 2011, 12:00am PDT
Event-based communication is used in different domains including telecommunications, transportation, and business information systems to build scalable distributed systems. The loose coupling of...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Automated Extraction of Architecture-Level Performance Models of Distributed Component-Based Systems
October 18, 2011, 12:00am PDT
Modern enterprise applications have to satisfy increasingly stringent Quality-of-Service requirements. To ensure that a system meets its performance requirements, the ability to predict its...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Performance Certification of Software Components
February 3, 2011, 12:00am PST
Non-functional properties of software should be specified early in the development process. In a distributed process of software development, this means that quality requirements must be made...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
From Monolithic to Component-Based Performance Evaluation of Software Architectures: A Series of Experiments Analyzing Accuracy and Effort
August 5, 2010, 12:00am PDT
Model-based performance evaluation methods for software architectures can help architects to assess design alternatives and save costs for late life-cycle performance fixes. A recent trend is...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Focussing Multi-Objective Software Architecture Optimization Using Quality of Service Bounds
January 24, 2011, 12:00am PST
Quantitative prediction of non-functional properties, such as performance, reliability, and costs, of software architectures supports systematic software engineering. Even though there usually is...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Self-Aware Software and Systems Engineering: A Vision and Research Roadmap
September 8, 2011, 12:00am PDT
With the increasing adoption of virtualization and the transition towards cloud computing platforms, modern IT systems and services are becoming increasingly complex and dynamic. The lack of...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Online Performance Prediction With Architecture-Level Performance Models
December 19, 2010, 12:00am PST
Today's enterprise systems based on increasingly complex software architectures often exhibit poor performance and resource efficiency thus having high operating costs. This is due to the...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Towards A Generic Quality Optimisation Framework for Component-Based System Models
April 26, 2011, 12:00am PDT
Designing Component-Based Systems (CBS) that exhibit a good trade-o between multiple quality criteria is hard. Even after functional design, many remaining degrees of freedom of different types...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
David & Goliath Oblivious Affine Function Evaluation - Asymptotically Optimal Building Blocks for Universally Composable Two-Party Computation from a Single Untrusted Stateful Tamper-Proof Hardware Token
March 12, 2012, 12:00am PDT
Cryptographic assumptions regarding tamper proof hardware tokens have gained increasing attention. Even if the tamper-proof hardware is issued by one of the parties, and hence not necessarily...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Basing Obfuscation on Simple Tamper-Proof Hardware Assumptions
January 16, 2012, 12:00am PST
Code obfuscation is one of the most powerful concepts in cryptography. It could yield functional encryption, digital rights management, and maybe even secure cloud computing. However, general code...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
On Definitions of Selective Opening Security
April 1, 2012, 12:00am PDT
Assume that an adversary observes many ciphertexts, and may then ask for openings, i.e., the plaintext and the randomness used for encryption, of some of them. Do the unopened ciphertexts remain...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Waters Signatures With Optimal Security Reduction
January 20, 2012, 12:00am PST
Waters signatures (Eurocrypt 2005) can be shown existentially unforgeable under chosen-message attacks under the assumption that the computational Diffie-Hellman problem in the underlying...
Provided by Karlsruhe Institute of Technology (KIT)
-
White Papers
Quality-of-Service Signaling for Virtual Networks
July 6, 2010, 12:00am PDT
Network virtualization is a promising abstraction technique, not only to optimize the utilization of network resources, but also to design and actually bring out completely novel network...
Provided by Karlsruhe Institute of Technology (KIT)
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!
