Approach and composability
A formal methods approach to interpretability, safety and composability for reinforcement learning
... this approach to better facilitate learning than simply granting the agent a negative reward at contact with an obstacle and re-initiate the ...this approach in the physical experiment in the next ...
155
An Ontology for Language Service Composability
... 2.1 Pipeline Processing Approach This approach employs a common interfaces and common data format exchanged between language resources. The resources are combined into a pipeline to analyze documents. Each ...
9
Modular Organization and Composability of RNA
... 4.2.8 Genome-wide characterization of ID elements shows broad distribution in the rat genome In an attempt to characterize the ID element landscape outside of the 33 genes of interest, we constructed a catalog of ID ...
262
Resource Fairness and Composability of Cryptographic Protocols
... While carrying some intuition about security and fairness, we note that these definitions are not fully simulation-based. To see this, consider a situation where an adversary A aborts (with, say, probability 1/2) early ...
35
Long-term Security and Universal Composability
... this approach would probably work and give a reasonable model of long- term UC security, the introduction of different phases introduces major changes to the technical parts of the UC ...
83
Testing the Composability of Plug-and-Play Components
... As dynamic composition is a relatively new approach in component frameworks, it is not covered by current test methods and tools. We have created Plux.NET, a plug-in framework that supports dynamic plug-and-play ...
6
General Composition and Universal Composability in Secure Multiparty Computation
... latter approach is advantageous because it makes proving security easier: it suffices to prove security in a stand-alone setting only, security under composition is ...an approach has the danger of possibly ...
32
Extensibility and Composability of a Multi-Stencil Domain Specific Framework
... interesting approach that combines simplicity of use, due to a high abstraction level, with efficient execution are domain specific languages (DSL) and domain specific frameworks ...
43
Fortified Universal Composability: Taking Advantage of Simple Secure Hardware Modules
... Furthermore, each message has to be authenticated so that the adversary cannot change the input of a party by modify the messages it sends. One could do this with an additional unhackable “authentication unit” which ...
53
Complexities of Simulating a Hybrid Agent-Landscape Model Using Multi-Formalism Composability
... which approach to ...formalism approach is suitable for achieving correctness of the modeled ...modeling approach affords the modeler two levels of ...
8
ABSTRACT. Keywords: Integratability, Interoperability, Composability, Syntax, Semantics, Pragmatics, Dynamics 1. INTRODUCTION
... layered composability ap- proaches contributed to the definition of the Levels of Con- ceptual Interoperability Model (LCIM) and how the results can be used to derive implications and requirements for ontologies ...
10
Polynomial Runtime and Composability
... Abstract. To prove security of a multi-party cryptographic protocol, one often reduces attacks on the protocol to attacks on a suitable computational problem. Thus, if the com- putational problem is hard, then the ...
60
2 Protocol Analysis, Composability and Computation
... Attacks like this extend protocol analysis all the way to the composition problem—the problem that connecting two systems that are secure in isolation can give a compos[r] ...
7
On the Security and Composability of the One Time Pad
... lanl.arXiv.org e-Print archive, quant-ph/0403133, March 2004. [14] D. R. Stinson. Cryptography – Theory and Practice. CRC Press, Boca Raton, FL, USA, 1995. A Using Computationally Secure Components The statistically ...
12
On the Composability of Statistically Secure Bit Commitments
... universal composability with other statistically secure protocols, but it does not hold anymore when composing with computationally secure ...UC composability theorem for the analyzed ...
10
GNUC: A New Universal Composability Framework
... After such a machine M is corrupted, it essentially acts as a slave to the adversary, in the following sense: any messages that M subsequently receives are forwarded to the adversary, an[r] ...
80
Composability of Infinite-State Activity Automata*
... Online club Online club A A offers customers to first register offers customers to first register and then pay for their accesses with either cash and then pay for their acces[r] ...
37
Careful with Composition: Limitations of Indifferentiability and Universal Composability
... Having lost composition as a general way to transport ROM proofs of security for multi- stage games to the setting where one uses a hash constructed from an ideal primitive, we take up c[r] ...
30
Evaluating Security of Voting Schemes in the Universal Composability Framework
... To partially solve these problems we suggest evaluating voting schemes in the universal composability (UC) framework of Canetti [Can01]. In the UC framework, an execution of a multi-party computation protocol is ...
18
Universal Composability from Essentially Any Trusted Setup
... Indeed, universal composability is impossible for almost all tasks of any cryptographic interest, under any intractability assumption. For this reason, there have been many attempts to slightly relax the UC ...
36