Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model

Author(s):  
Miguel Ambrona ◽  
Gilles Barthe ◽  
Benedikt Schmidt
Author(s):  
Piyi Yang ◽  
Tanveer A Zia

A set of attributes instead of a single string to represent the signer’s identity is a challenging problem under standard cryptographic assumption in the standard model. Therefore, designing a fully secure (adaptive-predicate unforgeable and perfectly private) Attribute-Based Signature (ABS) that allows a signer to choose a set of attributes is vital. Existing schemes are either too complicated or have only been proved in the generic group model. In this chapter, the authors present an efficient fully secure ABS scheme in the standard model based on q-parallel BDHE assumption, which is more practical than the generic group model used in the previous schemes. The proposed scheme is highly expressive since it allows any signer to specify claim-predicates in terms of any predicate consisting of AND, OR, and Threshold gates over the attributes in the system. ABS has found many important applications in secure communications, such as anonymous authentication systems and attribute-based messaging systems.


2021 ◽  
pp. 587-617
Author(s):  
Balthazar Bauer ◽  
Georg Fuchsbauer ◽  
Antoine Plouviez

2015 ◽  
Vol 1 (3) ◽  
pp. 69
Author(s):  
Arjan Skuka

Despite the fact that introductory programming courses (IPCs) are taught at universities for more than thirty years, students still find computer programming very difficult to learn. Programming pedagogy deals with the methods and principles of teaching and learning computer programming. The programming pedagogical approaches that have been proposed to increase the efficiency of teaching and learning computer programming mostly focus on the tools, paradigms, programming languages and environments used in IPCs. To increase significantly the students’ success rates in IPCs, these approaches should be complemented with pedagogical explanation (PE) methods. This research is focused on a PE method of teaching sequential search of a matrix row (SSMR). The research was designed as experimental study with pretest-posttest control group model, involving students of Computer Engineering department Izmir University. While the experimental group was subjected to a pedagogical explanation method, a traditional explanation method was applied in the control group. To collect the research data, an achievement pretest, posttest and a questionnaire were developed and applied. The research findings showed the effectiveness of teaching SSMR by using a PE method. This method positively influenced students’ level of topic comprehension, which consequently improved their achievements. In order for students to understand better the other matrix programming operations, similar PE methods should be developed and used in IPCs. On a more general level, the results of this research suggested that PE methods should be developed and used for other topics that students usually find difficult to understand in IPCs. Using these methods can be a very important factor in significantly increasing students’ success in IPCs.


2021 ◽  
Vol 13 (16) ◽  
pp. 8733
Author(s):  
Gisela Cebrián ◽  
Mercè Junyent ◽  
Ingrid Mulà

The 2030 Agenda for Sustainable Development reflects the urgency to embed the principles of education for sustainable development (ESD) into all levels of education. ESD, understood as an integral part of quality education and where all educational institutions, from preschool to higher education and in non-formal and informal education, can and should foster the development of sustainability competencies. This Special Issue entitled “Competencies in Education for Sustainable Development II” responds to this urgency and the papers presented deliver recent developments in the field of sustainability and ESD competencies. They focus on various perspectives: systematic literature reviews and conceptual contributions; curriculum developments and pedagogical approaches to explore competencies’ development, such as action research, serious games, augmented reality, multi-course project-based learning and group model building processes; testing and validation of assessment tools and processes for linking sustainability competencies to employability and quality assurance processes. The contributions show how the field of sustainability and ESD competencies has become a major focus in recent years and present emerging research developments. Further research efforts need to be put into operationalizing sustainability competencies and developing tools that help measure and assess students’ and educators’ competencies development.


2021 ◽  
Vol 11 (3) ◽  
pp. 35
Author(s):  
Diana Escandon-Barbosa ◽  
Andrea Hurtado ◽  
Alina Gomez

Global pandemics are not a new phenomenon. They have occurred at different points in time and can be of different scales. COVID-19 appeared in 2020 and its spread has reached more than 60 countries worldwide. This research aims to analyze voluntary self-isolation behavior used to cope with the COVID-19 pandemic. As part of this study, we carried out sampling in Colombia and Spain, which share similar cultural characteristics but which have substantial social and economic differences. A multi-group model was used to test the application of the theory of planned behavior and the theory of reasoned action in order to analyze self-isolation behavior. The results show that there are differences in self-isolation behavior between both countries, especially with regard to attitudes towards self-isolation and volitional behavior.


Sign in / Sign up

Export Citation Format

Share Document