Hardware Specification with C $$\varvec{\lambda }$$ aSH

Author(s):  
Jan Kuper
2014 ◽  
Vol 2014 ◽  
pp. 1-8
Author(s):  
Sang-Soo Yeo ◽  
Dae-il Park ◽  
Young-Ae Jung

This paper presents the vulnerabilities analyses of KL scheme which is an ID-based authentication scheme for AMI network attached SCADA in smart grid and proposes a security-enhanced authentication scheme which satisfies forward secrecy as well as security requirements introduced in KL scheme and also other existing schemes. The proposed scheme uses MDMS which is the supervising system located in an electrical company as a time-synchronizing server in order to synchronize smart devices at home and conducts authentication between smart meter and smart devices using a new secret value generated by an OTP generator every session. The proposed scheme has forward secrecy, so it increases overall security, but its communication and computation overhead reduce its performance slightly, comparing the existing schemes. Nonetheless, hardware specification and communication bandwidth of smart devices will have better conditions continuously, so the proposed scheme would be a good choice for secure AMI environment.


2017 ◽  
Vol 1 (ICFP) ◽  
pp. 1-30 ◽  
Author(s):  
Joonwon Choi ◽  
Muralidaran Vijayaraghavan ◽  
Benjamin Sherman ◽  
Adam Chlipala ◽  
Arvind

Author(s):  
Hana Kubátová

The paper presents the principles of using Petri Net formalism in hardware design courses, especially in the course “Architecture of peripheral devices”. Several models and results obtained by student individual or group projects are mentioned. First the using of formalism as a modeling tool is presented consecutively from Place/Transition nets to Coloured Petri nets. Then the possible Petri Nets using as a hardware specification for direct hardware implementation (synthesized VHDL for FPGA) is described. Implementation and simulation results of three directly implemented models are presented.


2022 ◽  
Author(s):  
Lars Borm ◽  
Alejandro Mossi Albiach ◽  
Camiel CA Mannens ◽  
Jokubas Janusauskas ◽  
Ceren Özgün ◽  
...  

Methods to spatially profile the transcriptome are dominated by a trade-off between resolution and throughput. Here, we developed a method named EEL FISH that can rapidly process large tissue samples without compromising spatial resolution. By electrophoretically transferring RNA from a tissue section onto a capture surface, EEL speeds up data acquisition by reducing the amount of imaging needed, while ensuring that RNA molecules move straight down towards the surface, preserving single-cell resolution. We applied EEL on eight entire sagittal sections of the mouse brain and measured the expression patterns of up to 440 genes to reveal complex tissue organisation. Moreover, EEL enabled the study of challenging human samples by removing autofluorescent lipofuscin, so that we could study the spatial transcriptome of the human visual cortex. We provide full hardware specification, all protocols and complete software for instrument control, image processing, data analysis and visualization.


Sign in / Sign up

Export Citation Format

Share Document