Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 10 von 10

1

5Gen : A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs
Lewi, Kevin ; Malozemoff, Alex J. ; Apon, Daniel ; et al.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. :981-992

Konferenz
2

Multi-App Security Analysis with FUSE : Statically Detecting Android App Collusion
Ravitch, Tristan ; Creswick, E. Rogan ; Tomb, Aaron ; et al.
Proceedings of the 4th Program Protection and Reverse Engineering Workshop. :1-10

Konferenz
3

SAW : the software analysis workbench
Carter, Kyle ; Foltzer, Adam ; Hendrix, Joe ; et al.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology. :15-18

Konferenz
4

A meta-scheduler for the par-monad : composable scheduling for the heterogeneous cloud
Foltzer, Adam ; Kulkarni, Abhishek ; Swords, Rebecca ; et al.
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. :235-246

Konferenz
5

Dieses Ergebnis kann Gästen nicht angezeigt werden.

6

A Formal Approach to Constructing Secure Air Vehicle Software
Cofer, Darren ; Gacek, Andrew ; Backes, John ; et al.
Computer ; volume 51, issue 11, page 14-23 ; ISSN 0018-9162 1558-0814

Fachzeitschrift
7

SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS
Cofer,Darren ; Backes,John ; Gacek,Andrew ; et al.

Computer Programming and... Computer Systems Managem... denial of service attack cyberattacks computer access control COMPUTER PROGRAM VERIFIC...
Fachzeitschrift
8

Multi-App Security Analysis with FUSE.
Ravitch, Tristan ; Creswick, E. Rogan ; Tomb, Aaron ; et al.
ACM International Conference Proceeding Series; 12/9/2014, p1-10, 10p

Konferenz
9

A meta-scheduler for the par-monad.
Foltzer, Adam ; Kulkarni, Abhishek ; Swords, Rebecca ; et al.
ACM / SIGPLAN Notices; Sep2012, Vol. 47 Issue 9, p235-246, 12p

Fachzeitschrift
10

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter