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

Wholly!: A Build System For The Modern Software Stack

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

Volltextzugriff (PDF)

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables

Applied Cryptography and Network Security, p.364-384

Volltextzugriff (PDF)

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, p.315-330

Volltextzugriff (PDF)

Discovering Symmetries

Formal Methods: Applications and Technology, p.67-83

Volltextzugriff (PDF)

Eureka: A Framework for Enabling Static Malware Analysis

Computer Security - ESORICS 2008, p.481-500

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)

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)

Model Checking Guided Abstraction and Analysis

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

2000

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, p.141-152

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)