搜索结果: 1-12 共查到“Automated analysis”相关记录12条 . 查询时间(0.14 秒)
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures
signature schemes symbolic models formal methods
2019/7/10
The standard definition of security for digital signatures---existential unforgeability---does not ensure certain properties that protocol designers might expect. For example, in many modern signature...
Towards Fully Automated Analysis of Whiteboxes: Perfect Dimensionality Reduction for Perfect Leakage
whitebox cryptanalysis security evaluation
2018/1/29
Differential computation analysis (DCA) is a technique recently introduced by Bos et al. and Sanfelix et al. for key recovery from whitebox implementations of symmetric ciphers. It consists in applyin...
第三届野生动物监测视频数据自动分析研讨会（The 3nd Workshop on Automated Analysis of Video Data for Wildlife Surveillance）
第三届 野生动物监测视频数据自动分析 研讨会
2017/3/28
National Marine Fisheries Service (NMFS) of the United States National Oceanic and Atmospheric Administration (NOAA), the Department of Fisheries of Western Australia, the Australia Institute of Marin...
Automated Analysis of Cryptographic Assumptions in Generic Group Models
generic group model multilinear maps graded encoding schemes
2016/1/9
We initiate the study of principled, automated, methods for
analyzing hardness assumptions in generic group models, following the
approach of symbolic cryptography. We start by defining a broad clas...
Automated Analysis and Synthesis of Block-Cipher Modes of Operation
modes of operation synthesis
2016/1/7
Block ciphers such as AES are deterministic, keyed functions that operate on small, fixed-size blocks.
Block-cipher modes of operation define a mechanism for probabilistic encryption of arbitrary len...
Automated Analysis and Synthesis of Authenticated Encryption Schemes
secret-key cryptography authenticated encryption synthesis
2015/12/29
Authenticated encryption (AE) schemes are symmetric-key encryption schemes ensuring strong notions
of confidentiality and integrity. Although various AE schemes are known, there remains significant
...
AUTOMATED ANALYSIS OF ULTRA HIGH RESOLUTION REMOTE SENSING DATA: GIS TO THE RESCUE?
High resolution image data automated analysis GIS
2015/3/6
Geographic Information Systems (GIS) are more and more seen as an integral part of the modern information and communication society. Improved methods for data access and integration have accelerated t...
USING STEREO VISION TO SUPPORT THE AUTOMATED ANALYSIS OF SURVEILLANCE VIDEOS
Image Sequences Stereoscopic Vision Image Matching
2014/4/28
Video surveillance systems are no longer a collection of independent cameras, manually controlled by human operators. Instead, smart sensor networks are developed, able to fulfil certain tasks on thei...
Towards a Systematics for Protein Subcellular Location: Quantitative Description of Protein Localization Patterns and Automated Analysis of Fluorescence Microscope Images
Automated Analysis Fluorescence Microscope Images
2009/12/22
Determination of the functions of all expressed proteins
represents one of the major upcoming challenges in
computational molecular biology. Since subcellular
location plays a crucial role in prote...
Automated analysis of patterns in fluorescencemicroscope images
Automated analysis of patterns fluorescencemicroscope images
2009/12/22
The widespread proliferation of
automated fluorescence-microscope
systems has made the acquisition of
digital images commonplace in
cell-biology research. This has created
a need for computer app...
Automated Analysis of Fluorescence Microscopy Images to Identify Protein-Protein Interactions
Fluorescence Microscopy Images Interactions
2009/9/8
The identification of protein interactions is important for elucidating biological networks. One obstacle in comprehensive interaction studies is the analyses of large datasets, particularly those con...
The automated analysis of rat sperm motility following subchronic epichlorohydrin administration：methodologic and statistical considerations
rat sperm motility subchronic epichlorohydrin administration methodologic and statistical considerations
2009/2/23
The automated analysis of sperm motion endpoints is potentially useful in identifying male reproductive toxicants and ultimately in predicting fertility in humans. The present study was designed to ...