• Suche: Information flow control for java

Treffer 1 - 20 von 2.459

1

A Comparative Analysis Between Information Flow Control Tools for Java-written systems
Porto, Gabrielle ; Andrade, Rodrigo ; Ebert, Felipe
15th Brazilian Symposium on Software Components, Architectures, and Reuse. :80-89

Konferenz
Zur Merkliste hinzufügen
2

Decentralized information flow control on a bare-metal JVM
Manivannan, Karthikeyan ; Wimmer, Christian ; Franz, Michael
Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research. :1-4

Konferenz
Zur Merkliste hinzufügen
3

Laminar : practical fine-grained decentralized information flow control
Roy, Indrajit ; Porter, Donald E. ; Bond, Michael D. ; et al.
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation. :63-74

Konferenz
Zur Merkliste hinzufügen
4

Hybrid taint analysis for Java EE
Loch, Florian D. ; Johns, Martin ; Hecker, Martin ; et al.
Proceedings of the 35th Annual ACM Symposium on Applied Computing. :1716-1725

Konferenz
Zur Merkliste hinzufügen
6

Towards a system-wide and transparent security mechanism using language-level information flow control
Azadmanesh, Mohammad Reza ; Sharifi, Mohsen
Proceedings of the 3rd international conference on Security of information and networks. :19-26

Konferenz
Zur Merkliste hinzufügen
7

JRIF: Reactive Information Flow Control for Java.
Elisavet Kozyri ; Owen Arden ; Andrew C. Myers ; et al.
Foundations of Security, Protocols, and Equational Reasoning. :70-88

Konferenz
Zur Merkliste hinzufügen
8

Static path conditions for Java
Hammer, Christian ; Schaade, Rüdiger ; Snelting, Gregor
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security. :57-66

Konferenz
Zur Merkliste hinzufügen
9

Using JOANA for Information Flow Control in Java Programs - A Practical Guide.
Jürgen Graf 0001 ; Martin Hecker 0001 ; Martin Mohr
Software Engineering (Workshops). :123-138

Konferenz
Zur Merkliste hinzufügen
10

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
Hammer, Christian

QA75.5-76.95 information flow control software security program slicing program dependence graph path conditions …
E-Book
Zur Merkliste hinzufügen
11

Paragon : Programming with Information Flow Control (Demo)
Broberg, Niklas ; van Delft, Bart ; Sands, David
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security. :79-80

Konferenz
Zur Merkliste hinzufügen
12

JFlow : practical mostly-static information flow control
Myers, Andrew C.
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :228-241

Konferenz
Zur Merkliste hinzufügen
13

Dieses Ergebnis kann Gästen nicht angezeigt werden.

16

Real time flow control for an advanced Java co-processor
Santti, T. ; Plosila, J.
2005 NORCHIP Norchip NORCHIP Conference, 2005. 23rd. :20-23 2005

Konferenz
Zur Merkliste hinzufügen
17

Distributed Information Flow Control in Serverless Computing
Mani, G ; Rao, B.Srinivasa ; Kumar, D J Santosh ; et al.
2022 4th International Conference on Smart Systems and Inventive Technology (ICSSIT) Smart Systems and Inventive Technology (ICSSIT), 2022 4th International Conference on. :1557-1561 Jan, 2022

Konferenz
Zur Merkliste hinzufügen
18

Detecting Privacy Leaks in Android Apps using Inter-Component Information Flow Control Analysis
Bohluli, Zohreh ; Shahriari, Hamid Reza
2018 15th International ISC (Iranian Society of Cryptology) Conference on Information Security and Cryptology (ISCISC) Information Security and Cryptology (ISCISC), 2018 15th International ISC (Iranian Society of Cryptology) Conference on. :1-6 Aug, 2018

Konferenz
Zur Merkliste hinzufügen
19

Using Bytecode Instrumentation to Secure Information Flow in Multithreaded Java Applications
Sharaf, Mohamed ; Huang, Jie ; Huang, Chin-Tser
2013 IEEE 33rd International Conference on Distributed Computing Systems Workshops Distributed Computing Systems Workshops (ICDCSW), 2013 IEEE 33rd International Conference on. :362-367 Jul, 2013

Konferenz
Zur Merkliste hinzufügen
20

Spartan Jester: End-to-End Information Flow Control for Hybrid Android Applications
Sexton, Julian ; Chudnov, Andrey ; Naumann, David A.
2017 IEEE Security and Privacy Workshops (SPW) SPW Security and Privacy Workshops (SPW), 2017 IEEE. :157-162 May, 2017

Konferenz
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter