How to deal with large tightness gaps in security proofs is a vexing issue in cryptography. Even when analyzing protocols that are of practical importance, leading researchers often fail to treat this question with the seriousness that it deserves. We discuss nontightness in connection with complexity leveraging, HMAC, lattice-based cryptography, identity-based encryption, and hybrid encryption.

This paper presents an integrated knowledge-based system, which combines fuzzy rule-based reasoning with case-based reasoning, for turbomachinery diagnosis. By incorporating a casebased reasoning sub-system in a fuzzy rule-based system, the integrated system allows past experience to be applied in a more direct way. This helps improve the diagnostic accuracy of the rulebased system. This approa...

We put forth a new mathematical framework called Isogenous Pairing Groups (IPG) and new intractable assumptions in the framework, the Isogenous DBDH (Isog-DBDH) assumption and its variants. Three operations, i.e., exponentiation, pairing and isogeny on elliptic curves are treated under a unified notion of trapdoor homomorphisms, and combinations of the operations have potential new cryptographi...

Two important computational approaches to problem solving are model-based reasoning (MBR) and case-based reasoning (CBR). MBR, since it reasons from first principles, is especially suited for solving novel problems. CBR, since it reasons from previous experience, is especially suited for solving frequently encountered problems. However, large novel problems pose difficulties for both approaches...

the increasing penetration rate of mobile phone, with specific characteristics of this medium, such as almost everywhere with the audience, has attracted companies' attention to it as an advertising channel. mobile devices facilitate highly customized marketing communication in terms of person, time location and context so numbers of companies that use this medium for communicating with th...

It is widely believed that the major purpose of foreign language learning is to master the speaking skill of that language. Learners even evaluate their foreign language learning on the basis of their achievement in speaking proficiency. This study discusses different teaching methodologies aimed at the development of task-based language learning, drama and the manifestation of scenario-based t...

Computer technology has influenced the realm of language teaching and testing so drastically that no language teaching program could be imagined nowadays without the use digitized software and mul- timedia. This study aims at investigating Iranian EFL learners' performance on paper-based test com- pared with their performance on computer-based test while considering their attitudes towards the ...

Text coherence evaluation becomes a vital and lovely task in Natural Language Processing subfields, such as text summarization, question answering, text generation and machine translation. Existing methods like entity-based and graph-based models are engaging with nouns and noun phrases change role in sequential sentences within short part of a text. They even have limitations in global coheren...