Publications related to GnuTLS

Melting SNOW-V: Improved Lightweight Architectures

Andrea Felice Caforio, Subhadeep Banik, Muhammed Fatih Balli

SNOW-V is a stream cipher proposed by Ekdahl et al. at IACR ToSC 2019(3) with an objective to be deployed as the encryption primitive in 5G systems. The stream cipher offers 256-bit security and is ready for deployment in the post-quantum era, in which as ...

2020

Melting SNOW-V: improved lightweight architectures

Andrea Felice Caforio, Subhadeep Banik, Muhammed Fatih Balli

SNOW-V is a stream cipher proposed by Ekdahl et al. at IACR ToSC 2019(3) with an objective to be deployed as the encryption primitive in 5G systems. The stream cipher offers 256-bit security and is ready for deployment in the post-quantum era, in which as ...

2020

Secured Routines: Language-based Construction of Trusted Execution Environments

James Richard Larus, Edouard Bugnion, Adrien Ghosn

Trusted Execution Environments (TEEs), such as Intel SGX enclaves, use hardware to ensure the confidentiality and integrity of operations on sensitive data. While the technology is available on many processors, the complexity of its programming model and i ...

USENIX ASSOC2019

SMoTherSpectre: Exploiting Speculative Execution through Port Contention

Babak Falsafi, Mathias Josef Payer, Atri Bhattacharyya

Spectre, Meltdown, and related attacks have demonstrated that kernels, hypervisors, trusted execution environments, and browsers are prone to information disclosure through micro-architectural weaknesses. However, it remains unclear as to what extent other ...

ACM2019

Some Proofs of Conditional and Joint Biases in RC4 Stream Cipher

Subhadeep Banik

In this paper we present proofs for the new biases in RC4 which were experimentally found and listed out (without theoretical justifi- cations and proofs) in a paper by Vanhoef et al. in USENIX 2015. Their purpose was to exploit the vulnerabilities of RC4 ...

2018

Theoretical Understanding of Some Conditional and Joint Biases in RC4 Stream Cipher

Subhadeep Banik

In this paper we present proofs for the new biases in RC4 which were experimentally found and listed out (without theoretical justifications and proofs) in a paper by Vanhoef et al. in USENIX 2015. Their purpose was to exploit the vulnerabilities of RC4 in ...

IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG2018

Reconstruction of Finite Rate of Innovation Signals with Model-Fitting Approach

Dimitri Nestor Alice Van De Ville, Thierry Blu, Zafer Dogan

Finite rate of innovation (FRI) is a recent framework for sampling and reconstruction of a large class of parametric signals that are characterized by finite number of innovations (parameters) per unit interval. In the absence of noise, exact recovery of F ...

Institute of Electrical and Electronics Engineers2015

Small scale variability of snow density on Antarctic sea ice

Michael Lehning, Katherine Colby Leonard, Nander Wever

Snow on sea ice plays an important role in air-ice-sea interactions, as snow accumulation may for example increase the albedo. Snow is also able to smooth the ice surface, while at the same time it may generate roughness elements by interactions with the w ...

2015

Secure Computing with the MPEG RVC Framework

Marco Mattavelli, Richard Thavot, Junaid Jameel Ahmad

Recently, ISO/IEC standardized a dataflow-programming framework called Reconfigurable Video Coding (RVC) for the specification of video codecs. The RVC framework aims at providing the specification of a system at a high abstraction level so that the functi ...

Elsevier Science Bv2013

Password interception in a SSL/TLS channel

Serge Vaudenay, Martin Vuagnoux

Simple password authentication is often used e.g. from an e-mail software application to a remote IMAP server. This is frequently done in a protected peer-to-peer tunnel, e.g. by SSL/TLS. At Eurocrypt'02, Vaudenay (2002) presented vulnerabilities in paddin ...

2003

GnuTLS

Melting SNOW-V: Improved Lightweight Architectures

Melting SNOW-V: improved lightweight architectures

Secured Routines: Language-based Construction of Trusted Execution Environments

SMoTherSpectre: Exploiting Speculative Execution through Port Contention

Some Proofs of Conditional and Joint Biases in RC4 Stream Cipher

Theoretical Understanding of Some Conditional and Joint Biases in RC4 Stream Cipher

Reconstruction of Finite Rate of Innovation Signals with Model-Fitting Approach

Small scale variability of snow density on Antarctic sea ice

Secure Computing with the MPEG RVC Framework

Password interception in a SSL/TLS channel

Graph Chatbot

Chat with Graph Search

Secured Routines: Language-based Construction of Trusted Execution Environments

Theoretical Understanding of Some Conditional and Joint Biases in RC4 Stream Cipher

Secure Computing with the MPEG RVC Framework

Small scale variability of snow density on Antarctic sea ice

Melting SNOW-V: Improved Lightweight Architectures

Melting SNOW-V: improved lightweight architectures

Some Proofs of Conditional and Joint Biases in RC4 Stream Cipher

SMoTherSpectre: Exploiting Speculative Execution through Port Contention

Reconstruction of Finite Rate of Innovation Signals with Model-Fitting Approach

Password interception in a SSL/TLS channel