Micro-Id-Gym: A Flexible Tool for Pentesting Identity Management Protocols in the Wild and in the Laboratory

Author(s):  
Andrea Bisegna ◽  
Roberto Carbone ◽  
Giulio Pellizzari ◽  
Silvio Ranise
Mathematics ◽  
2021 ◽  
Vol 9 (20) ◽  
pp. 2569
Author(s):  
Xavier Salleras ◽  
Vanesa Daza

Zero-Knowledge Proofs (ZKPs) are cryptographic primitives allowing a party to prove to another party that the former knows some information while keeping it secret. Such a premise can lead to the development of numerous privacy-preserving protocols in different scenarios, like proving knowledge of some credentials to a server without leaking the identity of the user. Even when the applications of ZKPs were endless, they were not exploited in the wild for a couple of decades due to the fact that computing and verifying proofs was too computationally expensive. However, the advent of efficient schemes (in particular, zk-SNARKs) made this primitive to break into the scene in fields like cryptocurrencies, smart-contracts, and more recently, self-sovereign scenarios: private-by-design identity management and authentication. Nevertheless, its adoption in environments like the Internet of Things (IoT) remains unexplored due to the computational limitations of embedded systems. In this paper, we introduce ZPiE, a C library intended to create ZKP applications to be executed in embedded systems. Its main feature is portability: it can be compiled, executed, and used out-of-the-box in a wide variety of devices. Moreover, our proof-of-concept has been proved to work smoothly in different devices with limited resources, which can execute state-of-the-art ZKP authentication protocols.


TREUBIA ◽  
2019 ◽  
Vol 45 ◽  
pp. 85-102 ◽  
Author(s):  
Berenika Monika Mioduszewska ◽  
Mark Christopher O’Hara ◽  
Tri Haryoko ◽  
Alice Marie Isabel Auersperg ◽  
Ludwig Huber ◽  
...  

Experimental work on captive Goffin’s cockatoos (Cacatua goffiniana) has highlighted the remarkable cognitive abilities of this species. However, little is known about its behavior in the natural habitat on the Tanimbar Archipelago in Indonesia. In order to fully understand the evolutionary roots leading to cognitively advanced skills, such as multi-step problem solving or flexible tool use and manufacture, it is crucial to study the ecological challenges faced by the respective species in the wild. The three-month expedition presented here aimed at gaining first insights into the cockatoos’ feeding ecology and breeding behavior. We could confirm previous predictions that Goffin’s cockatoos are opportunistic foragers and consume a variety of resources (seeds, fruit, inflorescence, roots). Their breeding season may be estimated to start between June and early July and they face potential predation from ground and aerial predators. Additionally, the observational data provide indications that Goffin’s cockatoos are extractive foragers, which together with relying on multiple food sources might be considered a prerequisite of tool use.


Author(s):  
Thecan Caesar-Ton That ◽  
Lynn Epstein

Nectria haematococca mating population I (anamorph, Fusarium solani) macroconidia attach to its host (squash) and non-host surfaces prior to germ tube emergence. The macroconidia become adhesive after a brief period of protein synthesis. Recently, Hickman et al. (1989) isolated N. haematococca adhesion-reduced mutants. Using freeze substitution, we compared the development of the macroconidial wall in the wild type in comparison to one of the mutants, LEI.Macroconidia were harvested at 1C, washed by centrifugation, resuspended in a dilute zucchini fruit extract and incubated from 0 - 5 h. During the incubation period, wild type macroconidia attached to uncoated dialysis tubing. Mutant macroconidia did not attach and were collected on poly-L-lysine coated dialysis tubing just prior to freezing. Conidia on the tubing were frozen in liquid propane at 191 - 193C, substituted in acetone with 2% OsO4 and 0.05% uranyl acetate, washed with acetone, and flat-embedded in Epon-Araldite. Using phase contrast microscopy at 1000X, cells without freeze damage were selected, remounted, sectioned and post-stained sequentially with 1% Ba(MnO4)2 2% uranyl acetate and Reynold’s lead citrate. At least 30 cells/treatment were examined.


2020 ◽  
Vol 650 ◽  
pp. 7-18 ◽  
Author(s):  
HW Fennie ◽  
S Sponaugle ◽  
EA Daly ◽  
RD Brodeur

Predation is a major source of mortality in the early life stages of fishes and a driving force in shaping fish populations. Theoretical, modeling, and laboratory studies have generated hypotheses that larval fish size, age, growth rate, and development rate affect their susceptibility to predation. Empirical data on predator selection in the wild are challenging to obtain, and most selective mortality studies must repeatedly sample populations of survivors to indirectly examine survivorship. While valuable on a population scale, these approaches can obscure selection by particular predators. In May 2018, along the coast of Washington, USA, we simultaneously collected juvenile quillback rockfish Sebastes maliger from both the environment and the stomachs of juvenile coho salmon Oncorhynchus kisutch. We used otolith microstructure analysis to examine whether juvenile coho salmon were age-, size-, and/or growth-selective predators of juvenile quillback rockfish. Our results indicate that juvenile rockfish consumed by salmon were significantly smaller, slower growing at capture, and younger than surviving (unconsumed) juvenile rockfish, providing direct evidence that juvenile coho salmon are selective predators on juvenile quillback rockfish. These differences in early life history traits between consumed and surviving rockfish are related to timing of parturition and the environmental conditions larval rockfish experienced, suggesting that maternal effects may substantially influence survival at this stage. Our results demonstrate that variability in timing of parturition and sea surface temperature leads to tradeoffs in early life history traits between growth in the larval stage and survival when encountering predators in the pelagic juvenile stage.


2020 ◽  
Vol 2020 (1) ◽  
pp. 78-81
Author(s):  
Simone Zini ◽  
Simone Bianco ◽  
Raimondo Schettini

Rain removal from pictures taken under bad weather conditions is a challenging task that aims to improve the overall quality and visibility of a scene. The enhanced images usually constitute the input for subsequent Computer Vision tasks such as detection and classification. In this paper, we present a Convolutional Neural Network, based on the Pix2Pix model, for rain streaks removal from images, with specific interest in evaluating the results of the processing operation with respect to the Optical Character Recognition (OCR) task. In particular, we present a way to generate a rainy version of the Street View Text Dataset (R-SVTD) for "text detection and recognition" evaluation in bad weather conditions. Experimental results on this dataset show that our model is able to outperform the state of the art in terms of two commonly used image quality metrics, and that it is capable to improve the performances of an OCR model to detect and recognise text in the wild.


2020 ◽  
Vol 12 (3) ◽  
pp. 189
Author(s):  
Sebastian Gäb

When we were on the subway back from his lecture, I said to Robin: “I’m not sure there actually are any religious fictionalists.” We keep talking about them in papers and lectures, acting as if fictionalism in religion is a real possibility, but to be honest, I haven’t been able to spot one in the wild so far. The only potential candidate who comes to mind is Don Cupitt, who wrote things like: “I still pray and love God, even though I fully acknowledge that no God actually exists.”[1] Perhaps this is as fictionalist as it gets. But then again, Cupitt never explicitly declared himself a fictionalist (at least to my knowledge). Moreover, on other occasions he sounds more like an expressivist than a fictionalist, e.g. when he says: “The Christian doctrine of God just is Christian spirituality in coded form.”[2] So, if there are any actual fictionalists out there, please step forward.[1] Don Cupitt, After God: The Future of Religion (Basic Books, 1997), 85.[2] Don Cupitt, Taking leave of God (SCM Press, 1980), 14.


Sign in / Sign up

Export Citation Format

Share Document