UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 434

Sortiert nach

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

1st Edition 2017, 2017

Link zum Volltext

Verfügbarkeit prüfen

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

Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

1, 2003

Link zum Volltext

Verfügbarkeit prüfen

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part I

1, 2020

Link zum Volltext

Verfügbarkeit prüfen

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II

1, 2020

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

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

1, 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, Part II

1, 2019

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

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

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings

1st Edition 2020, 2020

Link zum Volltext

Verfügbarkeit prüfen

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings

2020

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

A formal framework for security analysis of NFC mobile coupon protocols

Journal of computer security, 2015-12, Vol.23 (6), p.685-707

2015

Link zum Volltext

Verfügbarkeit prüfen

E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings

1, 2013

Link zum Volltext

Verfügbarkeit prüfen

Specifying authentication using signal events in CSP

Computers & security, 2009-07, Vol.28 (5), p.310-324

2009

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

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

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

2024

Link zum Volltext
IEEE_Xplore

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

Where Are You Bob? Privacy-Preserving Proximity Testing with a Napping Party

25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, United Kingdom, 2020, Vol.12308 LNCS, p.677-697

2020

Link zum Volltext

Verfügbarkeit prüfen

A Declaration of Software Independence

Protocols, Strands, and Logic, 2021, Vol.13066, p.198-217

2021

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 434

Suche als RSS-Feed

Aktive Filter

KollektionEZB Electronic Journals Library

ThemaComputer Science, Software Engineering

ThemaComputer Science, Theory & Methods

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(268)
Mit Volltextzugriff
(396)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(156)
Life Sciences & Biomedicine
(99)
Humans
(67)
Social Sciences
(58)
Technology
(53)
Computer Science
(38)
Male
(38)
Female
(37)
Engineering
(33)
Psychology
(33)
Physical Sciences
(29)
Engineering, Electrical & Electronic
(22)
Exact Sciences And Technology
(22)
Software Engineering
(22)
Learning
(18)
Computer Communication Networks
(17)
Computers
(17)
Systems And Data Security
(17)
Adult
(15)
Applied Sciences
(15)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(2)
... seit 90 Tagen
(21)

Menü

Weitere Dienste

Einstellungen

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

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

Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part I

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II

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

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

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

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

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

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings

Computer Security - ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings

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

A formal framework for security analysis of NFC mobile coupon protocols

E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings

Specifying authentication using signal events in CSP

Erprobung kooperativer Dienste im realen Verkehrsumfeld

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

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

Where Are You Bob? Privacy-Preserving Proximity Testing with a Napping Party

A Declaration of Software Independence

Aktive Filter

Suchergebnisse filtern