UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 621

Sortiert nach

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

1st Edition 2018, 2018

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Data Poisoning Attacks Against Federated Learning Systems

Computer Security – ESORICS 2020, p.480-501

Link zum Volltext

Verfügbarkeit prüfen

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

1st ed. 2016, 2016

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

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

1st Edition 2019, 2019

Link zum Volltext

Verfügbarkeit prüfen

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

1st Edition 2019, 2019

Link zum Volltext

Verfügbarkeit prüfen

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

Integrated Formal Methods, p.50-66

Link zum Volltext

Verfügbarkeit prüfen

Transient and Steady-State Statistical Analysis for Discrete Event Simulators

Integrated Formal Methods, p.145-160

Link zum Volltext

Verfügbarkeit prüfen

The FCRAO Extragalactic CO Survey. I. The Data

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

1995

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

On the feasibility of crawling-based attacks against recommender systems1

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

2022

Link zum Volltext

Verfügbarkeit prüfen

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Integrated Formal Methods, p.102-110

Link zum Volltext

Verfügbarkeit prüfen

Hoare-Style Reasoning from Multiple Contracts

Integrated Formal Methods, p.263-278

Link zum Volltext

Verfügbarkeit prüfen

Follow the Blue Bird: A Study on Threat Data Published on Twitter

Computer Security – ESORICS 2020, p.217-236

Link zum Volltext

Verfügbarkeit prüfen

PGLP: Customizable and Rigorous Location Privacy Through Policy Graph

Computer Security – ESORICS 2020, p.655-676

Link zum Volltext

Verfügbarkeit prüfen

Triggerless Happy: Intermediate Verification with a First-Order Prover

Integrated Formal Methods, 2017, Vol.10510, p.295-311

2017

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, 2024-07, Vol.21 (4), p.3357-3374

2024

Link zum Volltext
IEEE_Xplore

A Framework for Evaluating Client Privacy Leakages in Federated Learning

Computer Security – ESORICS 2020, p.545-566

Link zum Volltext

Verfügbarkeit prüfen

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems

Integrated Formal Methods, p.3-17

Link zum Volltext

Verfügbarkeit prüfen

Deep Learning Side-Channel Analysis on Large-Scale Traces: A Case Study on a Polymorphic AES

Computer Security – ESORICS 2020, p.440-460

Link zum Volltext

Verfügbarkeit prüfen

Erprobung kooperativer Dienste im realen Verkehrsumfeld

ATZextra, 2019-03, Vol.24 (S1), p.24-27

Schneider, Steve

2019

Link zum Volltext

Verfügbarkeit prüfen

Under Pressure: Coal Industry Rhetoric and Neoliberalism

Jen Schneider, Steve Schwarze, Peter K. Bsumek, Jennifer Peeples

1, 2016

Link zum Volltext

Verfügbarkeit prüfen

Discovery of a Class of Novel Tankyrase Inhibitors that Bind to Both the Nicotinamide Pocket and the Induced Pocket

Journal of medicinal chemistry, 2013-02, Vol.56 (3), p.1341-1345

2013

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 621

Suche als RSS-Feed

Aktive Filter

KollektionIngentaConnect Journals

ThemaSoftware Engineering

ThemaTechnology

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(448)
Mit Volltextzugriff
(589)

Publikationsform

5 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(10)
... 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

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

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

Transient and Steady-State Statistical Analysis for Discrete Event Simulators

The FCRAO Extragalactic CO Survey. I. The Data

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

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

On the feasibility of crawling-based attacks against recommender systems1

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Hoare-Style Reasoning from Multiple Contracts

Follow the Blue Bird: A Study on Threat Data Published on Twitter

PGLP: Customizable and Rigorous Location Privacy Through Policy Graph

Triggerless Happy: Intermediate Verification with a First-Order Prover

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

A Framework for Evaluating Client Privacy Leakages in Federated Learning

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems

Deep Learning Side-Channel Analysis on Large-Scale Traces: A Case Study on a Polymorphic AES

Erprobung kooperativer Dienste im realen Verkehrsumfeld

Under Pressure: Coal Industry Rhetoric and Neoliberalism

Discovery of a Class of Novel Tankyrase Inhibitors that Bind to Both the Nicotinamide Pocket and the Induced Pocket

Aktive Filter

Suchergebnisse filtern