Sciweavers

2079 search results - page 104 / 416
» Quantifying Information Flow
Sort
View
TAPSOFT
1997
Springer
14 years 1 months ago
A Typed Intermediate Language for Flow-Directed Compilation
We present a typed intermediate language λCIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language λCIL is a ty...
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn...
TIFS
2008
152views more  TIFS 2008»
13 years 9 months ago
Security of Lattice-Based Data Hiding Against the Watermarked-Only Attack
This paper presents a security analysis for data hiding methods based on nested lattice codes, extending the analysis provided by previous works to a more general scenario. The se...
Luis Pérez-Freire, Fernando Pérez-Go...
JCS
2011
72views more  JCS 2011»
13 years 4 months ago
Automatically deriving information-theoretic bounds for adaptive side-channel attacks
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
Boris Köpf, David A. Basin
ICEIS
2006
IEEE
14 years 3 months ago
Product Oriented Modelling and Interoperability Issues
The consideration of Product information or Knowledge management, product traceability or genealogy, and product life cycle management implies new strategies and approaches to mana...
Salah Baïna, Hervé Panetto, Khalid Ben...
BMCBI
2008
81views more  BMCBI 2008»
13 years 9 months ago
A perspective for biomedical data integration: Design of databases for flow cytometry
Background: The integration of biomedical information is essential for tackling medical problems. We describe a data model in the domain of flow cytometry (FC) allowing for massiv...
John Drakos, Marina Karakantza, Nicholas C. Zoumbo...