Sciweavers

2416 search results - page 6 / 484
» The design and implementation of typed scheme
Sort
View
POPL
2008
ACM
14 years 9 months ago
Cryptographically sound implementations for typed information-flow security
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
Cédric Fournet, Tamara Rezk
ULPAA
1994
152views Hardware» more  ULPAA 1994»
13 years 10 months ago
Programming with ASN.1 Using Polymorphic Types and Type Specialization
object-oriented abstractions is described that permits direct programming with ASN.1 speci ed types. The design and implementation also supports the exible use of di erent encoding...
R. Greg Lavender, Dennis G. Kafura, R. W. Mullins
DATE
2009
IEEE
124views Hardware» more  DATE 2009»
14 years 3 months ago
Design and implementation of scalable, transparent threads for multi-core media processor
—In this paper, we propose a scalable and transparent parallelization scheme using threads for multi-core processor. The performance achieved by our scheme is scalable to the num...
Takeshi Kodaka, Shunsuke Sasaki, Takahiro Tokuyosh...
INFFUS
2006
71views more  INFFUS 2006»
13 years 8 months ago
Comparative implementation of two fusion schemes for multiple complementary FLIR imagery classifiers
Several classifiers for forward looking infra-red imagery are designed and implemented, and their relative performance is benchmarked on 2545 images belonging to 8 different ship ...
Pierre Valin, Francois Rhéaume, Claude Trem...
WAIFI
2010
Springer
158views Mathematics» more  WAIFI 2010»
13 years 6 months ago
On the Efficiency and Security of Pairing-Based Protocols in the Type 1 and Type 4 Settings
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...
Sanjit Chatterjee, Darrel Hankerson, Alfred Meneze...