UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 35

Sortiert nach

Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations

Journal of cryptographic engineering, 2020-04, Vol.10 (1), p.17-26

2020

Link zum Volltext

Verfügbarkeit prüfen

Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model

Advances in Cryptology – EUROCRYPT 2017, p.535-566

Link zum Volltext

Verfügbarkeit prüfen

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems

IEEE transactions on dependable and secure computing, 2023, p.1-18

2023

Link zum Volltext
Volltext

Verified Proofs of Higher-Order Masking

Advances in Cryptology -- EUROCRYPT 2015, p.457-485

Link zum Volltext

Verfügbarkeit prüfen

EasyCrypt: A Tutorial

Foundations of Security Analysis and Design VII, 2014, p.146-166

2014

Link zum Volltext

Verfügbarkeit prüfen

Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC

Fast Software Encryption, p.163-184

Link zum Volltext

Verfügbarkeit prüfen

Machine-checked proofs of privacy against malicious boards for Selene & Co

Journal of computer security, 2023-01, Vol.31 (5), p.469

2023

Link zum Volltext

Verfügbarkeit prüfen

Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger

2020 IEEE 40th International Conference on Distributed Computing Systems (ICDCS), 2020, p.1167-1168

2020

Link zum Volltext
Volltext

Machine-Checked Proofs of Privacy for Electronic Voting Protocols

2017 IEEE Symposium on Security and Privacy (SP), 2017, p.993-1008

2017

Link zum Volltext
Volltext

Making RSA–PSS Provably Secure against Non-random Faults

Cryptographic Hardware and Embedded Systems – CHES 2014, p.206-222

Link zum Volltext

Verfügbarkeit prüfen

Guiding a general-purpose C verifier to prove cryptographic protocols

Journal of computer security, 2014-01, Vol.22 (5), p.823-866

2014

Link zum Volltext

Verfügbarkeit prüfen

Synthesis of Fault Attacks on Cryptographic Implementations

Proceedings of the 2014 ACM SIGSAC Conference on computer and communications security, 2014, p.1016-1027

2014

Link zum Volltext

Verfügbarkeit prüfen

Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols

2011 IEEE 24th Computer Security Foundations Symposium, 2011, p.3-17

2011

Link zum Volltext
Volltext

Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations

Proceedings of the 2013 ACM SIGSAC conference on computer & communications security, 2013, p.1217-1230

2013

Link zum Volltext

Verfügbarkeit prüfen

Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox

2022 IEEE 35th Computer Security Foundations Symposium (CSF), 2022, p.227-242

2022

Link zum Volltext

Verfügbarkeit prüfen

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame

Computer Security – ESORICS 2023, p.471-491

Link zum Volltext

Verfügbarkeit prüfen

Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co

2022 IEEE 35th Computer Security Foundations Symposium (CSF), 2022, p.335-347

2022

Link zum Volltext

Verfügbarkeit prüfen

Verifying Cryptographic Code in C: Some Experience and the Csec Challenge

Formal Aspects of Security and Trust, p.1-20

Link zum Volltext

Verfügbarkeit prüfen

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

1, 2012

Link zum Volltext

Verfügbarkeit prüfen

Machine-Checked Security for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textrm{XMSS} $$\end{document} as in RFC 8391 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\o

Advances in Cryptology – CRYPTO 2023, p.421-454

Link zum Volltext

Verfügbarkeit prüfen

Retroviral envelope gene captures and syncytin exaptation for placentation in marsupials

Proceedings of the National Academy of Sciences - PNAS, 2015-02, Vol.112 (5), p.E487-E496

2015

Link zum Volltext

Verfügbarkeit prüfen

Capture of syncytin-Mar1, a fusogenic endogenous retroviral envelope gene involved in placentation in the Rodentia squirrel-related clade

Journal of virology, 2014-07, Vol.88 (14), p.7915-7928

2014

Link zum Volltext

Verfügbarkeit prüfen

Genetic Evidence That Captured Retroviral Envelope syncytins Contribute to Myoblast Fusion and Muscle Sexual Dimorphism in Mice

PLoS genetics, 2016-09, Vol.12 (9), p.e1006289

2016

Link zum Volltext

Verfügbarkeit prüfen

Retroviral envelope syncytin capture in an ancestrally diverged mammalian clade for placentation in the primitive Afrotherian tenrecs

Proceedings of the National Academy of Sciences - PNAS, 2014-10, Vol.111 (41), p.E4332-E4341

2014

Link zum Volltext

Verfügbarkeit prüfen

The captured retroviral envelope syncytin-A and syncytin-B genes are conserved in the Spalacidae together with hemotrichorial placentation

Biology of reproduction, 2014-12, Vol.91 (6), p.148-148

2014

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 35

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(25)
Mit Volltextzugriff
(33)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(20)
Computer Science
(16)
Technology
(13)
Computer Science, Theory & Methods
(11)
Computer Science, Information Systems
(10)
Cryptography And Security
(7)
Life Sciences
(7)
Animals
(5)
Cryptography
(5)
Endogenous Retrovirus
(5)
Female
(5)
Gene Products, Env - Genetics
(5)
Molecular Sequence Data
(5)
Pregnancy Proteins - Genetics
(5)
Protocols
(5)
Electronic Voting
(4)
Envelope Protein
(4)
Life Sciences & Biomedicine
(4)
Pregnancy
(4)
Privacy
(4)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations

Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems

Verified Proofs of Higher-Order Masking

EasyCrypt: A Tutorial

Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC

Machine-checked proofs of privacy against malicious boards for Selene & Co

Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger

Machine-Checked Proofs of Privacy for Electronic Voting Protocols

Making RSA–PSS Provably Secure against Non-random Faults

Guiding a general-purpose C verifier to prove cryptographic protocols

Synthesis of Fault Attacks on Cryptographic Implementations

Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols

Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations

Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame

Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co

Verifying Cryptographic Code in C: Some Experience and the Csec Challenge

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Retroviral envelope gene captures and syncytin exaptation for placentation in marsupials

Capture of syncytin-Mar1, a fusogenic endogenous retroviral envelope gene involved in placentation in the Rodentia squirrel-related clade

Genetic Evidence That Captured Retroviral Envelope syncytins Contribute to Myoblast Fusion and Muscle Sexual Dimorphism in Mice

Retroviral envelope syncytin capture in an ancestrally diverged mammalian clade for placentation in the primitive Afrotherian tenrecs

The captured retroviral envelope syncytin-A and syncytin-B genes are conserved in the Spalacidae together with hemotrichorial placentation

Suchergebnisse filtern