UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

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)

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)

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

Integrated Formal Methods, p.50-66

Volltextzugriff (PDF)

A Framework for Evaluating Client Privacy Leakages in Federated Learning

Computer Security – ESORICS 2020, p.545-566

Volltextzugriff (PDF)

Linear Attack on Round-Reduced DES Using Deep Learning

Computer Security – ESORICS 2020, p.131-145

Volltextzugriff (PDF)

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Integrated Formal Methods, p.102-110

Volltextzugriff (PDF)

Platform-Independent Secure Blockchain-Based Voting System

Information Security, p.369-386

Volltextzugriff (PDF)

PGLP: Customizable and Rigorous Location Privacy Through Policy Graph

Computer Security – ESORICS 2020, p.655-676

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)

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)

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)

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)

On Private Information Retrieval Supporting Range Queries

Computer Security – ESORICS 2020, p.674-694

Volltextzugriff (PDF)

PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Attested Off-Chain Contract Execution

Computer Security – ESORICS 2020, p.610-629

Volltextzugriff (PDF)

Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-Based Definition

Computer Security – ESORICS 2020, p.65-85

Volltextzugriff (PDF)

Hoare-Style Reasoning from Multiple Contracts

Integrated Formal Methods, p.263-278

Volltextzugriff (PDF)

Special issue on Automated Verification of Critical Systems (AVoCS 2013)

Science of computer programming, 2015-11, Vol.111, p.213-213

2015

Volltextzugriff (PDF)

A CSP Account of Event-B Refinement

Electronic proceedings in theoretical computer science, 2011-06, Vol.55 (Proc. Refine 2011), p.139-154

2011

Volltextzugriff (PDF)

Anonymous Single Sign-On With Proxy Re-Verification

IEEE transactions on information forensics and security, 2020, Vol.15 (1), p.223-236

2020

Volltextzugriff (PDF)

A Survey of Practical Formal Methods for Security

Formal aspects of computing, 2022-07, Vol.34 (1), p.1-39

2022

Volltextzugriff (PDF)

1 – 25 von 1.333

Suche als RSS-Feed

Aktive Filter

KollektionIngentaConnect Journals

ThemaComputer Science, Information Systems

ThemaSoftware Engineering

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(635)
Mit Volltextzugriff
(1.237)

Publikationsform

6 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(1.323)
Deutsch
(6)
Französisch
(3)

Erscheinungsjahr

n.n

Thema

Science & Technology
(440)
Technology
(234)
Computer Science
(206)
Computer Science, Theory & Methods
(170)
Life Sciences & Biomedicine
(169)
Humans
(118)
Telecommunications
(75)
Computer Science, Artificial Intelligence
(74)
Social Sciences
(70)
Engineering
(64)
Female
(64)
Male
(62)
Physical Sciences
(56)
Engineering, Electrical & Electronic
(54)
Exact Sciences And Technology
(52)
Cable Television
(48)
Applied Sciences
(38)
Software
(38)
Animals
(36)
Computer Science; Control Theory; Systems
(33)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(3)

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

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

A Framework for Evaluating Client Privacy Leakages in Federated Learning

Linear Attack on Round-Reduced DES Using Deep Learning

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Platform-Independent Secure Blockchain-Based Voting System

PGLP: Customizable and Rigorous Location Privacy Through Policy Graph

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

On Private Information Retrieval Supporting Range Queries

PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Attested Off-Chain Contract Execution

Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-Based Definition

Hoare-Style Reasoning from Multiple Contracts

Special issue on Automated Verification of Critical Systems (AVoCS 2013)

A CSP Account of Event-B Refinement

Anonymous Single Sign-On With Proxy Re-Verification

A Survey of Practical Formal Methods for Security

Aktive Filter

Suchergebnisse filtern