Sciweavers

18429 search results - page 309 / 3686
» Typing dynamic typing
Sort
View
ESORICS
2005
Springer
16 years 7 days ago
Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...
Aslan Askarov, Andrei Sabelfeld
141
Voted
FCT
2005
Springer
16 years 6 days ago
A Type System for Computationally Secure Information Flow
Peeter Laud, Varmo Vene
LOPSTR
2005
Springer
16 years 5 days ago
Converting One Type-Based Abstract Domain to Another
John P. Gallagher, Germán Puebla, Elvira Al...
NOLISP
2005
Springer
16 years 5 days ago
F0 and Intensity Distributions of Marsec Speakers: Types of Speaker Prosody
Most research on F0 has attempted to model the behaviour of an entire linguistic community (e.g of speakers of US or UK English, French, Japanese etc). In this research, we attempt...
Brigitte Zellner Keller