Reviewerly/exHarmony huggingface dataset:
Auth4App: Protocols for Identification and Authentication using Mobile Applications

The increasing adoption of mobile applications as a means of user authentication is revealing new security challenges and opportunities. In order to modernize their physical identification and authorization procedures (e.g., access turnstile), some institutions have adopted static QR Codes generated using simple and static user data, such as some type of individual citizen national identification number. This procedure is easy to implement and verify, but it represents a critical security vulnerability. To address this issue, we propose Auth4App, a set of protocols for identification and authentication using mobile applications. Auth4App has two main protocols, one for binding user credentials to the mobile device (i.e., identification) and another one for generating one-time authentication codes (OTACs). Both protocols were formally verified using Scyther, an automated verification tool. Based on the automated analysis, our results show Auth4App protocols are robust enough and meet safe relevant criteria. Our prototype simulates access control using electronic turnstiles and was developed to present how our solution works and its deployment feasibility. The results show Auth4App enables accurate user authentication with a low computational cost.
Towards to fair trade with item validation using Bloom Filters and Smart Contracts

Smart Contracts bring a new set of possibilities in the secure protocol development: participants gain guarantees of the correct execution of the protocol steps. In contrast, current Smart Contract solutions do not provide data privacy, this scenario is particularly bad in the commerce of e-goods. In this work, we present a fair trade protocol based Smart Contract and Bloom Filter for the problem of e-goods trading where the involved parts do not trust each other.
A study on fitting SPHINCS+ to blockchain usage

The advent of a large-scale quantum computer will make insecure the current leading blockchains' digital signature schemes. Among the quantum-resistant options for signature schemes, SPHINCS+ stands out due to its security (based solely on hash functions) and due to being stateless. However, when used in a blockchain environment, its signature size considerably reduces the number of transactions stored per block, impacting the blockchain operation and economics. This paper presents a study on fitting SPHINCS+ to blockchain usage. The results show that, without compromising the security, a careful choice of SPHINCS+ parameters can reduce both the signature size and the signature creation time, since the maximum number of signatures supported by a given key is limited to 16 million, a number considered more than sufficient for a blockchain environment.
A Trusted Message Bus Built on Top of D-Bus

A wide range of applications use Inter-Process Communication (IPC) mechanisms to communicate between each other or between their components running in different processes. A well-known IPC mechanism in UNIX-like systems is D-Bus, which allows processes to communicate by receiving and routing messages. Despite being widely used, such system lacks mechanisms to provide end-to-end data confidentiality. In this paper we propose the use of Intel Software Guard Extensions (SGX) to provide a trusted communication channel between local applications over the D-Bus message bus system. We obtained stronger security guarantees in message confidentiality and integrity while keeping a small Trusted Computing Base (TCB) and compatibility with the reference D-Bus system.
Library Application for a Fair, Traceable, Auditable and Participatory Drawing Tool for Legal Systems

Several applications require random sampling to be protected against a biased behavior. When conflicting parties have different interests in its result, the system must guarantee that collusion among any number of entities cannot influence the resulting computation. Such is the case of legal systems, in which jurors and judges must be randomly picked to ensure impartiality in judicial cases. However, when informational systems are used to generate randomness, it should also provide auditability of its mechanisms to promote confidence in its fairness. This article presents a tool of one such mechanism that combines the randomness provided by hash functions with active social engagement. Each stakeholder in a legal proceeding contribute with his/her own share to the drawing, so that fairness is achieved if at least one entity is honest. Any interested party can audit a drawing using only public information, and misconduct of any party can be traced back to the culprit as soon as the result is computed. Our open-source implementation provides security by design, not depending on the secrecy of its component to attain all the required security properties.
Witness Operator Provides Better Estimate of the Lower Bound of Concurrence of Bipartite Bound Entangled States in $d_{1}\otimes d_{2}$ Dimensional System

It is known that the witness operator is useful in the detection and quantification of entangled states. This motivated us for the construction of the family of witness operators that can detect many mixed entangled states. This family of witness operators is then used to estimate the lower bound of concurrence of the detected mixed entangled states. Our method of construction of witness operator is important in the sense that it will estimate a better lower bound of concurrence of the entangled states in arbitrary $d_{1}\otimes d_{2} (d_{1}\leq d_{2})$ dimensional system compared to the lower bound of the concurrence given in \cite{kchen}. We have shown the significance of our constructed witness operator by detecting many bound entangled states that are not detected by the earlier methods and then we use the expectation value of the witness operator to estimate the lower bound of the concurrence of those bound entangled states.
Profesionalisme Jurnalis Dalam Film The Bang-Bang Club Berdasar Analisis Semiotika Roland Barthez

The Bang Bang Club is a 2011 film with a drama genre adapted from real events experienced by 4 war photographers. This film by director Steven Silver does not only cover drama but also shows how the 4 photographers actually experienced what happened. The subjects of this research were the four war photographers who were told in the film The Bang-Bang Club. Primary data is obtained from scenes related to the professionalism of a journalist in covering and reporting an event as the initial process of analysis. The scenes were analyzed using Roland Barthes' semiotics which is associated with professionalism according to Islam, in this case, namely holding the four characteristics of Raulullah, namely Sidiq, Amanah, Fathonah and Tabligh. Several scenes show the journalist in a dangerous situation, close to fire, sharp weapons, fighting, firearms, and others. The meaning of connotation means that in any situation and condition, a journalist must be able to describe, report, and collect data in any way in accordance with the journalistic code of ethics, because this has become a demand for a journalist.
OPTIMASI AIR IRIGASI PADA SUB PESANGGARAN KABUPATEN BANYUWANGI MENGGUNAKAN WEAP (WATER EVALUATION AND PLANNING)

Water requirement in Pesanggaran is rice fields, while the availability of irrigation water is obtained from rainfall and irrigation discharge. The water balance is calculated by using a tool such as the Water Evaluation and Planning (WEAP) where the results of the WEAP are in the form of a broad percentage of water coverage that can be covered (Coverage). The results of the WEAP calculation are in the form of Coverage as a reference in calculating profits for each year. Optimization in the Very Dry and Normal Year is the existing of where the start of planting begins in December period 1 while the optimize has the start of planting in the December period 3 in the Dry and Wet Season. WEAP optimization is seen in the number of Coverage values where the coverage value for a Dry Year before optimization is 99.34%, and after optimization is 100%, Wet Year before optimization is 99.1%, and after optimization is 100%, for Very Dry Year Coverage value is 95.69%, and Normal Year Coverage as 99.16%.
CREATING SKILLS IN SELF-EDUCATIONAL ACTIVITY FOR STUDENTS OF PEDAGOGICAL FACULTIES IN DISTANCE EDUCATION

Today's conditions witnesses to the need of humankind for specialists with a wide range and content of deep knowledge and skills who are fully competent in their professional activity and social life, able to self-education. Distance education, in contrast to extra-mural tuition, allows you to study at any distance from the educational institution. At pedagogical faculties, the task arose to prepare the future teacher and to create the normative and motivational-value components of a personality of future specialists. In the context of the outlined range of problems, it is important to teach the students of pedagogical faculties within the dynamic changes, so they will be able to increase their potential during self-educational activity. This is the actual reason to form self-educational competence in future teachers. The arrangement of self-educational activity of future teachers is a marker of a high level of education in general. In the absence of self-educational skills and the ability to acquire knowledge independently, it becomes impossible to create the experience of a scientific arrangement of educational work. Accordingly, this fact will significantly affect the training of highly qualified teaching staff. At the international level, the educational methodology includes the competency-based approach in the achievement of the educational outcomes. Besides, the competence, in its turn, is a measure of a person’s education, where the emphasis is placed on the outcomes of the study, the ability to apply the acquired knowledge and skills creatively. Our study allows us to state that several pedagogical conditions to create the self-educational activity (motivation, stimulation and research activity) should be essential in forming the self-educational activity forstudents of pedagogical faculties. Thoroughly analysis of the essence, characteristic features, principles and content of self-education as well as its specifics in higher educational institutions, allows us to conclude that the students of pedagogical faculties must understand the personal and social importance of self-education, possess the values, motivation and have the internal necessity of systematic renewal and enrichment of professional knowledge, develop emotional and volitional mechanisms in overcoming the difficulties and, also, they should have the entire body of self-educational skills.
A Study on Korean High School Elective Curriculum

The purpose of this study is to investigate what is needed to properly manage the electives.The national curriculum has many advantages.However, the operation of the national curriculum will create an authoritarian educational environment.In addition, once established, legal authority makes it difficult to immediately modify the curriculum.In addition, it is difficult to run a variety of curriculum that suits the characteristics of the school and learners.Thus, recently, department of education in Korea has attempted to expand the elective curriculum.The study investigated what problems were and what was the current situation in relation to these trends.The questionnaire surveyed more than 7,000 teachers.As a result of the study, the teacher recognized that the elective curriculum was operating well.In this regard, the study provided more details.
Pengaruh Sistem Informasi Keuangan dan Manajemen Terhadap Peningkatan Tunjangan Kinerja Pegawai Non PNS di Puskesmas Kecamatan Kramat Jati

Every organization has to improve their performance. This condition encourage companies to use information system to carry out its daily task. The implementation of information system in an organization will accelerate and simplify the completion of the task by every employee. This condition is expected to improve the performance of employees in the company.The purpose of this research is to examine the influence of Financial Information System and Management to the improvement of performance allowance of non PNS employees at sub-district health center of Kramat Jati. This research is a quantitative research. The data analysis technique has been done by using simple refression analysis. It can be concluded from the result of the research that the implementation of accounting information system has significant and positive influence to the performance of the employees has been applied in the company properly, the performance of the employees in the company will be improved as well. The implementation of accounting information system is strongly influenced by the human resources who are owned by the company. The company should always conduct the competency of the human resource about information and technology. Competency and knowledge of the human resources is needed by the company in maximizing the use information technology.Keywords: Performance allowances, financial information systems, simple linear regression.
Analisis Pengaruh Pengetahuan Struktur Kalimat Terhadap Kemampuan Literasi Membaca Mahasiswa Universitas Merdeka Malang

Reading literacy in Indonesia has been very low, and factors contributing to low literacy have not been resolved. This study aims to analyze the relationship of sentence structure knowledge in reading literacy skill (1), the contribution of sentence structure knowledge in reading literacy skill (2). This study employed mixed method design of quantitative and qualitative method. Quantitative design was used to address reaseach purpose 1 and 2 particularly using correlations and regression analyses to explain the relationship.&#x0D; &#x0D; Participants of this study were53 students of the Merdeka University of Malang. Data were collected from Indonesian Language Proficiency Test (Ujian Kemahiran Berbahasa Indonesia/UKBI) and a reading interest questionnaire completed byparticipants.&#x0D; This study revealed that there was a significant positive relationship between sentence structure knowledge and reading skills, r=.294, p = .034. The contribution of sentence structure knowledge accounted for 8,6% of reading literacy variance. This study provides support for Indonesian teachers and tutor to develop students’ Indonesia sentence structure knowledge and to arouse their reading interests.
METHODICAL AND PRACTICAL ASPECTS OF STUDENTS’ STIMULATION TO PERSONAL AND COMMUNICATIVE DEVELOPMENT IN PROJECT ACTIVITY: INTERNATIONAL CO-OPERATION CONTEXT

The article substantiates the need to stimulate students to personal development during their studies. It has been established that education should be organized in such a way as to maximally encourage future professionals to actively improve themselves. It was found out that the praxeological approach realization in the educational process enables the transformation of the acquired knowledge into real mental activity. It increases the need for self-development of students. The use of the praxeological approach allows involving future specialists in the practically oriented projects implementation. These projects are aimed at creating educational, educational, pedagogical, cultural, and technical or production product-project. The project activity creates conditions for creative self-realization of students. It promotes development of their intellectual abilities, independence, responsibility, ability to plan, make decisions, evaluate the results. It is presented the projects’ analysis in the framework of international studies using Photovoice method (Ukraine-Poland-Holland-Belarus-Sweden) and applied projects (Ukraine-Poland-Germany) «Through the Stomach to a Common Europe without Borders», «What Means to Be a Citizen» and «Woman is changeable». As practice has shown, the participation of student youth in international projects forms their ability to independently design their knowledge. It promotes the active development of critical thinking. Their participation in international projects helps to search for a solution to a specific problem and provides «meaningful personal enrichment» for the personal perfection of everyone. We can distinguish the following results of students’ participation in the projects in the practical context: language practices, which are a tool for improving the language content of students; meeting and communication with representatives of local self-government bodies; preparation and media presentation of the results of their own project activities through local TV companies; meeting with specialists in various fields of practice depending on the subject; studying own history, culture, traditions and acquaintance with similar properties of European countries; «real life» communication, resulting in the elimination of stereotypes, consisting of lack of, or lack of information about the mentality of a country and the opportunity to overcome a biased relationship to each other. Consequently, the participation of students in international projects creates positive conditions for creative self-realization and personal development.
E-Learning Interaktif dalam Pembelajaran Matematika Ekonomi dengan Menggunakan Aplikasi Blender

This research was conducted in order to measure how far the influence of the use of the blender application as a synchronous medium in the implementation of e-learning at Pamulang University in particular to increase distance learning motivation in learning economic mathematics. This study uses a research and development research type and a instructional design model of instructional design. The subjects in this study were learning media on the subject of economic mathematics at Pamulang University. The assessment score given by 500 Pamulang University students as respondents, became the data which was then analyzed by validity testing with the product moment correlation technique, and reliability testing using the Croanbach alpha technique. The results of the analysis show that for the validity of the assessment score given by the Respondent to the learning media of economic mathematics subject is greater than r tabek, while the reliability of the respondent's assessment score on the learning media of economic mathematics subject has a Cronbach alpha value greater than 0.7. Based on the data above, the researcher concludes that the learning media for the subject of economic mathematics using the opensources blender application are declared valid and reliable so that it can be said to be feasible to be used as a learning medium to increase distance learning motivation at Pamulang University
Mathematical modeling of mass transfer in complex technical and biomedical systems

The analytical methods for the determination of the operational parameters for the gas transportation process in the basic technological objects of gas transmission systems are presented. The mathematical modeling of gas transmission systems on the basis of the mentioned methods for projecting the underground gas storages is addressed. By taking the advantage of the existing analogy between the hydro-, gas- and hemodynamic processes, the results are extended onto the modeling of the blood circulation in large vessels and soft tissues of living organisms. Cite as: Ya. D. Pyanylo, “Mathematical modeling of mass transfer in complex technical and biomedical systems,” Mat. Met. Fiz. Mekh. Polya , 63 , No. 3, 136–149 (2020), https://doi.org/10.15407/mmpmf2020.63.3.136-149
ANALISIS STRUKTUR DAN KAIDAH KEBAHASAAN TEKS EKSPLANASI PADA PESERTA DIDIK KELAS XI MA MIFTAHUL ULUM ATTOHIRIN GONDANGLEGI MALANG TAHUN 2019/2020

In the explanatory text it has a plot or structure like other types of text, such as general statements, cause and effect and interpretation. The explanatory text also has linguistic rules which include copula, active verbs, conjunctions, adverbs of time, scientific terms, pronouns. This research is entitled "Analysis of the Structure and Rules of Explanatory Text in Class XI Students MA Miftahul Ulum Attohirin Academic Year 2019/2020. To find out the problems in conjunction analysis in a collection of explanatory texts in class XI MA Miftahul Ulum Attohirin students, it is necessary to formulate the problem as well as the formulation of the problem, namely, 1) What is the structure of the explanatory text in class XI MA Miftahul Ulum Attohirin Gondanglegi Malang students? 2) What are the rules of language explanation text in class XI MA Miftahul Ulum Attohirin Gondanglegi Malang?. This type of research is a descriptive qualitative research type. The qualitative research method is a research method based on the philosophy of postpositivism, this method is used to study natural objects. Where the researcher is the key instrument, the data collection technique is done by triangulation or a combination, the data analysis is inductive/qualitative and the results of qualitative research emphasize the meaning rather than generalization. Based on the data analysis carried out, it was concluded that 8 students were able to determine the structure of the expansion text well. Learners are able to determine the structure of general statements, cause and effect, and interpretation. In the explanatory text linguistic rules, there are 6 out of 11 students who are able to determine the rules of the explanatory text language. Students do not understand the language rules of explanatory text such as copula, conjunction, active verbs, adverbs of time, scientific terms and noun pronouns.
German National Library: thematic search for M. Dewey's classification

The article deals with the means of thematic search by library classification in the electronic catalog of the German National Library. It has been found that it is important to submit a classification system in the form of an interactive hierarchical thematic tree of knowledge that enables the user to limit their search to a specific topic area. The classification of the library with the electronic catalog has been expanded, which is an important factor in ensuring the completeness and accuracy of the thematic search, as well as the convenience and speed of functioning of the automated library search engine. An analysis of the thematic search tools in the electronic catalog of the German National Library by classification schemes and a complex of navigation and search tools of the information library system is carried out. It is emphasized that a necessary element of modern interlibrary communication is also the mandatory introduction into the system of thematic search of a national library of an international classification system, such as the M. Dewey classification. It has been found that providing relevant search results based on M. Dewey's Decimal Classification is the basis for enabling users to effectively use the resources collected in the online catalog of the German National Library.