搜索结果: 1-15 共查到“CALCULUS”相关记录105条 . 查询时间(0.062 秒)
ILC: A Calculus for Composable, Computational Cryptography
provable security universal composability process calculus
2019/4/23
The universal composability (UC) framework is the established standard for analyzing cryptographic protocols in a modular way, such that security is preserved under concurrent composition with arbitra...
A SAT-based approach for index calculus on binary elliptic curves
discrete logarithm index calculus elliptic curves
2019/3/22
Logical cryptanalysis, first introduced by Massacci in 2000, is a viable alternative to common algebraic cryptanalysis techniques over boolean fields. With XOR operations being at the core of many cry...
An Information Obfuscation Calculus for Encrypted Computing
Applications foundations information theory
2019/1/29
Relative cryptographic semantic security for encrypted words of user data at runtime holds in the emerging field of encrypted computing, in conjunction with an appropriate instruction set and compiler...
BitML: a calculus for Bitcoin smart contracts
Bitcoin smart contracts computational attacks
2018/2/1
We propose a domain-specific language for smart contracts, which allows participants to transfer cryptocurrency according to agreed contract terms. We define a symbolic and a computational model for r...
Verification of FPGA-augmented trusted computing mechanisms based on Applied Pi Calculus
implementation Trusted Computing
2018/1/2
Trusted computing technologies may play a key role for cloud security as they enable users to relax the trustworthiness assumptions about the provider that operates the physical cloud infrastructure. ...
A few more index calculus algorithms for the ECDLP
discrete logarithm problem elliptic curve cryptosystem
2018/1/2
The introduction of summation polynomials for elliptic curves by Semaev has opened up new avenues of investigation in index calculus type algorithms for the elliptic curve discrete logarithm problem, ...
A Capability Calculus for Concurrency and Determinism
Capability Calculus Concurrency Determinism
2016/5/24
We present a capability calculus for checking partial con-fluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be partially confluent than previou...
OU anthropologists reconstruct mitogenomes from prehistoric dental calculus
OU anthropologists prehistoric dental calculus
2016/4/13
Using advanced sequencing technologies, University of Oklahoma anthropologists demonstrate that human DNA can be significantly enriched from dental calculus (calcified dental plaque) enabling the reco...
Some Trade-off Results for Polynomial Calculus
Proof complexity polynomial calculus PCR resolution trade-offs size space degree pebble games
2016/1/23
We present size-space trade-offs for the polynomial calculus(PC) and polynomial calculus resolution (PCR) proof sys-tems. These are the first true size-space trade-offs in any algebraic proof system, ...
Index calculus in the trace zero variety
elliptic curve cryptography discrete logarithm problem index calculus
2016/1/23
We discuss how to apply Gaudry’s index calculus algorithm for abelian varieties to solve the discrete logarithm problem in the trace zero variety of an elliptic curve. We treat in particular the pra...
Time-Memory Trade-offs for Index Calculus in Genus 3
discrete logarithm problem index calculus double large prime
2016/1/9
In this paper, we present a variant of Diem’s Oe(q) index calculus algorithm to attack
the discrete logarithm problem (DLP) in Jacobians of genus 3 non-hyperelliptic curves over a
finite field Fq. W...
Secure two-party computation in applied pi-calculus: models and verification
formal verification automated security proofs security models
2015/12/24
Secure two-party computation allows two mutually distrusting parties to compute a function
together, without revealing their secret inputs to each other. Traditionally, the security properties
desir...
Schubert Calculus on the Arithmetic Grassmannian
Arithmetic Grassmannian Schubert Calculus
2015/12/17
Let G be the arithmetic Grassmannian over SpecZ with the natural invariant KÄahler metric on G(C). We study the combinatorics of
the arithmetic Schubert calculus in the Arakelov Chow ring CH(G)
THE CONNECTION BETWEEN REPRESENTATION THEORY AND SCHUBERT CALCULUS
CONNECTION BETWEEN REPRESENTATION SCHUBERT CALCULUS
2015/12/17
Our aim here is to describe a direct and natural connection between the representation theory of GLn and the Schubert calculus, which goes via the Chern-Weil
theory of characteristic classes. Indeed,...
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory
Speech Act Calculus Natural Deduction Logic Pragmatisation
2015/7/21
Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal lev...