Results 61 to 70 of about 120,188 (304)

Safe abstractions of data encodings in formal security protocol models [PDF]

, 2014
When using formal methods, security protocols are usually modeled at a high level of abstraction. In particular, data encoding and decoding transformations are often abstracted away.
Pironti, Alfredo, Sisto, Riccardo
core   +1 more source

Sustainable Electrochemical Synthesis of High‐Quality MXenes: Mechanistic Insights, Applications, Challenges, and Technological Prospects

Advanced Functional Materials, EarlyView.
Electrochemical etching provides an eco‐friendly alternative to hazardous HF methods for MXene production. This approach facilitates the selective isolation of the A‐layer from MAX phases with tunable surface terminations. Controlling voltage, electrolytes, temperature, and duration enables the optimal structural integrity. Nevertheless, existing scale
Jagdeep Singh, Madhusudhana M Devadiga, Santosh K. Tiwari, AS Dhaliwal, Gurpreet Singh Selopal   +4 more
wiley   +1 more source

Attribute-Based Searchable Encryption With Forward Security for Cloud-Assisted IoT

IEEE Access
Ciphertext-Policy Attribute-Based Searchable Encryption (CP-ABSE) is one of the most suitable encryption mechanisms in cloud environments for its fine-grained access structure and keyword retrieval capability over the ciphertext.
Dilxat Ghopur
doaj   +1 more source

A Forward-secure Grouping-proof Protocol for Multiple RFID Tags [PDF]

International Journal of Computational Intelligence Systems, 2012
Designing secure and robust grouping-proof protocols based on RFID characteristics becomes a hotspot in the research of security in Internet of Things (IOT).
Liu Ya-li, Qin Xiao-lin, Li Bo-han, Liu Liang   +3 more
doaj   +1 more source

Neutrophil‐Mimetic MRI Enables Ultra‐Early Detection of Vascular Inflammation After Stroke

Advanced Healthcare Materials, EarlyView.
In this study, we developed neutrophil‐mimetic MRI probes that detect ultra‐early neuroinflammation following ischemic stroke by targeting E‐selectin. Within seconds of their injection, these microparticles mimic initial leukocyte adhesion to the activated cerebral endothelium.
Marion Isabelle Morvan, Damien Levard, Eloïse Lemarchand, Amal Boublay, Charly Helaine, Jolan Malherbe, Mikaël Naveau, Didier Goux, Igor Khalin, Ankita Talukdar, Cheun Pelleter, Charlène Jacqmarcq, Erwan Baudron, Isabelle Bardou, Sara Martinez de Lizarrondo, Maxime Gauberti, Denis Vivien, Antoine Philippe Fournier   +17 more
wiley   +1 more source

Forward secure proxy signature scheme

Tongxin xuebao, 2005
A forward secure proxy signature scheme was proposed combining the concept of forward security with proxy signature. This means even if an adversary has gotten the current proxy signers’ key.
WANG Xiao-ming, CHEN Huo-yan, FU Fang-wei   +2 more
doaj   +2 more sources

Ferroelectric Quantum Dots for Retinomorphic In‐Sensor Computing

Advanced Materials, EarlyView.
This work has provided a protocol for fabricating retinomorphic phototransistors by integrating ferroelectric ligands with quantum dots. The resulting device combines ferroelectricity, optical responsiveness, and low‐power operation to enable adaptive signal amplification and high recognition accuracy under low‐light conditions, while supporting ...
Tingyu Long, Huanyu Zhou, Jaewan Ko, Hongwei Tan, Jaemin Lim, Yanfei Zhao, Daehan Kang, Eojin Yoon, Gyeong‐Tak Go, Somin Kim, Seung‐Woo Lee, Chan‐Yul Park, Hyojun Choi, Hyeran Kim, Hyung Joong Yun, Sung Hyuk Park, Kwan Sik Park, Jeong Woo Park, Mungeun Kim, Yong Soo Cho, Ho Won Jang, Wenqiang Yang, Min Hyuk Park, Wan Ki Bae, Sebastiaan van Dijken, Joona Bang, Tae‐Woo Lee   +26 more
wiley   +1 more source

Novel construction of forward-secure public-key encryption in the standard model

Tongxin xuebao, 2014
All existing provably secure forward-secure public-key encryption schemes in the literature were only proven to be chosen-plaintext secure. A novel forward-secure public-key encryption scheme without random oracles was pro-posed.
Yang LU, Ji-guo LI
doaj  

Bioinspired Adaptive Sensors: A Review on Current Developments in Theory and Application

Advanced Materials, EarlyView.
This review comprehensively summarizes the recent progress in the design and fabrication of sensory‐adaptation‐inspired devices and highlights their valuable applications in electronic skin, wearable electronics, and machine vision. The existing challenges and future directions are addressed in aspects such as device performance optimization ...
Guodong Gong, You Zhou, Qingxiu Li, Wenyu Zhao, Sunyingyue Geng, Hangfei Li, Yan‐Bing Leng, Shirui Zhu, Guanglong Ding, Yongbiao Zhai, Ziyu Lv, Ye Zhou, Su‐Ting Han   +12 more
wiley   +1 more source

A Forward-Secure Signature with Backward-Secure Detection [PDF]

2008 International Conference on Information Security and Assurance (isa 2008), 2008
In this paper, we propose a method to enhance the security of Abdalla and Reyzin 's forward-secure signature scheme, by producing a backward-secure detection. In the proposed scheme, we embedded the hash-chain into the forward-secure signature scheme. It achieves not only forward-security but also backward-security for the digital signature.
D.J. Guan, Dai-Rui Lin, Chih-I Wang
openaire   +1 more source