UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 1.202

Sortiert nach

Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings

1st Edition 2018, 2018

Volltextzugriff (PDF)

Discovery of Novel, Induced-Pocket Binding Oxazolidinones as Potent, Selective, and Orally Bioavailable Tankyrase Inhibitors

Journal of medicinal chemistry, 2013-06, Vol.56 (11), p.4320-4342

2013

Volltextzugriff (PDF)

Data Poisoning Attacks Against Federated Learning Systems

Computer Security – ESORICS 2020, p.480-501

Volltextzugriff (PDF)

Applied Cryptography and Network Security: 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

1st ed. 2016, 2016

Volltextzugriff (PDF)

Threshold-Optimal DSA/ECDSA Signatures and an Application to Bitcoin Wallet Security

Applied Cryptography and Network Security, p.156-174

Volltextzugriff (PDF)

Structure-Based Design of 2‑Aminopyridine Oxazolidinones as Potent and Selective Tankyrase Inhibitors

ACS medicinal chemistry letters, 2013-12, Vol.4 (12), p.1218-1223

2013

Volltextzugriff (PDF)

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings

1st Edition 2019, 2019

Volltextzugriff (PDF)

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings

1st Edition 2019, 2019

Volltextzugriff (PDF)

Towards Secure and Efficient Outsourcing of Machine Learning Classification

Computer Security – ESORICS 2019, p.22-40

Volltextzugriff (PDF)

PDFS: Practical Data Feed Service for Smart Contracts

Computer Security – ESORICS 2019, p.767-789

Volltextzugriff (PDF)

NetSpectre: Read Arbitrary Memory over Network

Computer Security – ESORICS 2019, p.279-299

Volltextzugriff (PDF)

maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults

Computer Security – ESORICS 2019, p.300-318

Volltextzugriff (PDF)

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL

Integrated Formal Methods, p.50-66

Volltextzugriff (PDF)

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Integrated Formal Methods, p.102-110

Volltextzugriff (PDF)

Linear Attack on Round-Reduced DES Using Deep Learning

Computer Security – ESORICS 2020, p.131-145

Volltextzugriff (PDF)

A Complete and Optimized Key Mismatch Attack on NIST Candidate NewHope

Computer Security – ESORICS 2019, p.504-520

Volltextzugriff (PDF)

Annotary: A Concolic Execution System for Developing Secure Smart Contracts

Computer Security – ESORICS 2019, p.747-766

Volltextzugriff (PDF)

Platform-Independent Secure Blockchain-Based Voting System

Information Security, p.369-386

Volltextzugriff (PDF)

Transient and Steady-State Statistical Analysis for Discrete Event Simulators

Integrated Formal Methods, p.145-160

Volltextzugriff (PDF)

The FCRAO Extragalactic CO Survey. I. The Data

The Astrophysical journal. Supplement series, 1995-05, Vol.98, p.219

1995

Volltextzugriff (PDF)

A Taxonomy of Attacks Using BGP Blackholing

Computer Security – ESORICS 2019, p.107-127

Volltextzugriff (PDF)

Foundations of Fully Dynamic Group Signatures

Applied Cryptography and Network Security, p.117-136

Volltextzugriff (PDF)

Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols1

Journal of computer security, 2022-08, Vol.30 (4), p.573-598

2022

Volltextzugriff (PDF)

On the feasibility of crawling-based attacks against recommender systems1

Journal of computer security, 2022-08, Vol.30 (4), p.599-621

2022

Volltextzugriff (PDF)

Towards post-quantum security for cyber-physical systems: Integrating PQC into industrial M2M communication1

Journal of computer security, 2022-08, Vol.30 (4), p.623-653

2022

Volltextzugriff (PDF)

1 – 25 von 1.202

Suche als RSS-Feed

Aktive Filter

KollektionIngentaConnect Journals

KollektionNUS Single-Journal Subscriptions

ThemaSoftware Engineering

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(633)
Mit Volltextzugriff
(1.171)

Publikationsform

4 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(453)
Technology
(327)
Computer Science
(305)
Computer Science, Theory & Methods
(251)
Computer Science, Information Systems
(132)
Life Sciences & Biomedicine
(109)
Engineering
(65)
Social Sciences
(64)
Humans
(63)
Engineering, Electrical & Electronic
(55)
Exact Sciences And Technology
(49)
Telecommunications
(43)
Applied Sciences
(42)
Physical Sciences
(41)
Computer Science, Artificial Intelligence
(38)
Female
(38)
Software
(37)
Computer Science, Software Engineering
(34)
Computer Science; Control Theory; Systems
(34)
Male
(33)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(12)

Menü

Weitere Dienste

Einstellungen

Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings

Discovery of Novel, Induced-Pocket Binding Oxazolidinones as Potent, Selective, and Orally Bioavailable Tankyrase Inhibitors

Data Poisoning Attacks Against Federated Learning Systems

Applied Cryptography and Network Security: 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

Threshold-Optimal DSA/ECDSA Signatures and an Application to Bitcoin Wallet Security

Structure-Based Design of 2‑Aminopyridine Oxazolidinones as Potent and Selective Tankyrase Inhibitors

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings

Towards Secure and Efficient Outsourcing of Machine Learning Classification

PDFS: Practical Data Feed Service for Smart Contracts

NetSpectre: Read Arbitrary Memory over Network

maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Linear Attack on Round-Reduced DES Using Deep Learning

A Complete and Optimized Key Mismatch Attack on NIST Candidate NewHope

Annotary: A Concolic Execution System for Developing Secure Smart Contracts

Platform-Independent Secure Blockchain-Based Voting System

Transient and Steady-State Statistical Analysis for Discrete Event Simulators

The FCRAO Extragalactic CO Survey. I. The Data

A Taxonomy of Attacks Using BGP Blackholing

Foundations of Fully Dynamic Group Signatures

Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols1

On the feasibility of crawling-based attacks against recommender systems1

Towards post-quantum security for cyber-physical systems: Integrating PQC into industrial M2M communication1

Aktive Filter

Suchergebnisse filtern