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...

Construction of abstract state graphs with PVS

Computer Aided Verification, 1997, p.72-83

1997

Volltextzugriff (PDF)

Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel

Software Reuse: Bridging with Social-Awareness, 2016, p.315-330

2016

Volltextzugriff (PDF)

Wholly!: A Build System For The Modern Software Stack

Formal Methods for Industrial Critical Systems, 2018, Vol.11119, p.242-257

2018

Volltextzugriff (PDF)

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables

Applied Cryptography and Network Security, 2020, Vol.12147, p.364-384

2020

Volltextzugriff (PDF)

Eureka: A Framework for Enabling Static Malware Analysis

Computer Security, 2008, Vol.5283, p.481-500

2008

Volltextzugriff (PDF)

Using model checking to assess the dependability of agent-based systems

IEEE intelligent systems, 2004-09, Vol.19 (5), p.62-70

2004

Volltextzugriff (PDF)

Powerful techniques for the automatic generation of invariants

Computer Aided Verification, 2005, p.323-335

2005

Volltextzugriff (PDF)

Security implications of Android: a closed system, open software mobile platform

Proceedings of the 1st ACM workshop on Security and privacy in smartphones and mobile devices, 2011, p.87-88

Saidi, Hassen

2011

Volltextzugriff (PDF)

Smartphone security limitations: conflicting traditions

Proceedings of the 2011 Workshop on Governance of Technology, Information, and Policies, 2011, p.5-12

2011

Volltextzugriff (PDF)

Discovering Symmetries

Formal Methods, 2007, Vol.4346, p.67-83

2007

Volltextzugriff (PDF)

Guarded models for intrusion detection

Conference on Programming Language Design and Implementation: Proceedings of the 2007 workshop on Programming languages and analysis for security; 14-14 June 2007, 2007, p.85-94

Saidi, Hassen

2007

Volltextzugriff (PDF)

Logical foundation for static analysis: application to binary static analysis for security

ACM SIGAda Ada Letters, 2008-04, Vol.XXVIII (1), p.96-102

Saïdi, Hassen

2008

Volltextzugriff (PDF)

An Analysis of the iKee.B iPhone Botnet

Security and Privacy in Mobile Information and Communication Systems, 2010, Vol.47, p.141-152

2010

Volltextzugriff (PDF)

Model Checking Guided Abstraction and Analysis

Lecture notes in computer science, 2000, Vol.1824, p.377-396

2000

Volltextzugriff (PDF)

Verifying invariants using theorem proving

Computer Aided Verification, 2005, p.196-207

2005

Volltextzugriff (PDF)

A tool for proving invariance properties of concurrent systems automatically

Tools and Algorithms for the Construction and Analysis of Systems, 2005, p.412-416

2005

Volltextzugriff (PDF)

Self-regenerative software components

Conference on Computer and Communications Security: Proceedings of the 2003 ACM workshop on Survivable and self-regenerative systems: in association with 10th ACM Conference on Computer and Communications Security; 31-31 Oct. 2003, 2003, p.115-120

2003

Volltextzugriff (PDF)