scholarly journals Guiding a general-purpose C verifier to prove cryptographic protocols

2014 ◽  
Vol 22 (5) ◽  
pp. 823-866 ◽  
Author(s):  
François Dupressoir ◽  
Andrew D. Gordon ◽  
Jan Jürjens ◽  
David A. Naumann
Keyword(s):  
Cryptographic Protocols ◽  
General Purpose

scholarly journals Ping-Pong Protocols as Prefix Grammars and Turchin Relation

10.29007/lw7c ◽  
2018 ◽  
Author(s):  
Antonina Nepeivoda
Keyword(s):  
Word Problem ◽  
Cryptographic Protocols ◽  
General Purpose ◽  
Empty Word ◽  
Transformation Technique ◽  
Ping Pong

The paper describes how to verify cryptographic protocols by a general-purpose programtransformation technique with unfolding. The questions of representation and analysisof the protocols as prefix rewriting grammars are discussed. In these aspects Higman andTurchin embeddings on computational paths are considered, and a refinement of Turchin’srelation is presented that allows to algorithmically decide the empty word problem forprefix rewriting grammars.

scholarly journals Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols

2011 ◽  
Author(s):  
Francois Dupressoir ◽  
Andrew D. Gordon ◽  
Jan Jurjens ◽  
David A. Naumann
Keyword(s):  
Cryptographic Protocols ◽  
General Purpose

scholarly journals FPGA Based High Speed SPA Resistant Elliptic Curve Scalar Multiplier Architecture

2016 ◽  
Vol 2016 ◽  
pp. 1-10 ◽  
Author(s):  
Khalid Javeed ◽  
Xiaojun Wang
Keyword(s):  
Elliptic Curve ◽  
High Speed ◽  
Cryptographic Protocols ◽  
General Purpose ◽  
Good Choice ◽  
Scalar Multiplication ◽  
Computational Time ◽  
Multiplication Operation ◽  
Hardware Architectures ◽  
Elliptic Curve Scalar Multiplication

The higher computational complexity of an elliptic curve scalar point multiplication operation limits its implementation on general purpose processors. Dedicated hardware architectures are essential to reduce the computational time, which results in a substantial increase in the performance of associated cryptographic protocols. This paper presents a unified architecture to compute modular addition, subtraction, and multiplication operations over a finite field of large prime characteristicGF(p). Subsequently, dual instances of the unified architecture are utilized in the design of high speed elliptic curve scalar multiplier architecture. The proposed architecture is synthesized and implemented on several different Xilinx FPGA platforms for different field sizes. The proposed design computes a 192-bit elliptic curve scalar multiplication in 2.3 ms on Virtex-4 FPGA platform. It is 34%faster and requires 40%fewer clock cycles for elliptic curve scalar multiplication and consumes considerable fewer FPGA slices as compared to the other existing designs. The proposed design is also resistant to the timing and simple power analysis (SPA) attacks; therefore it is a good choice in the construction of fast and secure elliptic curve based cryptographic protocols.

PENGARUH LATIHAN RANGE OF MOTION (ROM) AKTIF ASSITIF TERHADAP RENTANG GERAK SENDI PADA LANSIA YANG MENGALAMI IMMOBILISASI FISIK

2019 ◽  
Vol 13 (2) ◽  
Author(s):  
Andri Setyorini ◽  
Niken Setyaningrum
Keyword(s):  
Range Of Motion ◽  
Human Life ◽  
The Elderly ◽  
General Purpose ◽  
Test Statistic ◽  
Physical Mobility ◽  
Motion Exercise ◽  
The One ◽  
The Individual ◽  
Active Training

Background: Elderly is the final stage of the human life cycle, that is part of the inevitable life process and will be experienced by every individual. At this stage the individual undergoes many changes both physically and mentally, especially setbacks in various functions and abilities he once had. Preliminary study in Social House Tresna Wreda Yogyakarta Budhi Luhur Units there are 16 elderly who experience physical immobilization. In the social house has done various activities for the elderly are still active, but the elderly who experienced muscle weakness is not able to follow the exercise, so it needs to do ROM (Range Of Motion) exercise.   Objective: The general purpose of this research is to know the effect of Range Of Motion (ROM) Active Assitif training to increase the range of motion of joints in elderly who experience physical immobility at Social House of Tresna Werdha Yogyakarta unit Budhi Luhur.   Methode: This study was included in the type of pre-experiment, using the One Group Pretest Posttest design in which the range of motion of the joints before (pretest) and posttest (ROM) was performed  ROM. Subjects in this study were all elderly with impaired physical mobility in Social House Tresna Wreda Yogyakarta Unit Budhi Luhur a number of 14 elderly people. Data analysis in this research use paired sample t-test statistic  Result: The result of this research shows that there is influence of ROM (Range of Motion) Active training to increase of range of motion of joints in elderly who experience physical immobility at Social House Tresna Wredha Yogyakarta Unit Budhi Luhur.  Conclusion: There is influence of ROM (Range of Motion) Active training to increase of range of motion of joints in elderly who experience physical immobility at Social House Tresna Wredha Yogyakarta Unit Budhi Luhur.

General Purpose Technologies and Economic Growth

2014 ◽  
Vol 28 (2) ◽  
pp. 337-360
Author(s):  
Inyong Shin ◽  
Hyunho Kim
Keyword(s):  
Economic Growth ◽  
General Purpose ◽  
General Purpose Technologies
Sign in / Sign up

Export Citation Format

Share Document