Parallel authentication and public-key encryption

A parallel authentication and public-key encryption is introduced and exemplified on joint encryption and signing which compares favorably with sequential Encrypt-then-Sign (ɛtS) or Sign-then-Encrypt (Stɛ) schemes as far as both efficiency and security are concerned. A security model for signcryption, and thus joint encryption and signing, has been recently defined which considers possible attacks and security goals. Such a scheme is considered secure if the encryption part guarantees indistinguishability and the signature part prevents existential forgeries, for outsider but also insider adversaries. We propose two schemes of parallel signcryption, which are efficient alternative to Commit-then-Sign-and- Encrypt (Ct&G3&S). They are both provably secure in the random oracle model. The first one, called generic parallel encrypt and sign, is secure if the encryption scheme is semantically secure against chosen-ciphertext attacks and the signature scheme prevents existential forgeries against random-message attacks. The second scheme, called optimal parallel encrypt. and sign, applies random oracles similar to the OAEP technique in order to achieve security using encryption and signature components with very weak security requirements — encryption is expected to be one-way under chosen-plaintext attacks while signature needs to be secure against universal forgeries under random-plaintext attack, that is actually the case for both the plain-RSA encryption and signature under the usual RSA assumption. Both proposals are generic in the sense that any suitable encryption and signature schemes (i.e. which simply achieve required security) can be used. Furthermore they allow both parallel encryption and signing, as well as parallel decryption and verification. Properties of parallel encrypt and sign schemes are considered and a new security standard for parallel signcryption is proposed.

How to strengthen any weakly unforgeable signature into a strongly unforgeable signature

Standard signature schemes are usually designed only to achieve weak unforgeability – i.e. preventing forgery of signatures on new messages not previously signed. However, most signature schemes are randomised and allow many possible signatures for a single message. In this case, it may be possible to produce a new signature on a previously signed message. Some applications require that this type of forgery also be prevented – this requirement is called strong unforgeability. At PKC2006, Boneh Shen and Waters presented an efficient transform based on any randomised trapdoor hash function which converts a weakly unforgeable signature into a strongly unforgeable signature and applied it to construct a strongly unforgeable signature based on the CDH problem. However, the transform of Boneh et al only applies to a class of so-called partitioned signatures. Although many schemes fall in this class, some do not, for example the DSA signature. Hence it is natural to ask whether one can obtain a truly generic efficient transform based on any randomised trapdoor hash function which converts any weakly unforgeable signature into a strongly unforgeable one. We answer this question in the positive by presenting a simple modification of the Boneh-Shen-Waters transform. Our modified transform uses two randomised trapdoor hash functions.

Towards universal search design

For people with cognitive disabilities, technology is more often thought of as a support mechanism, rather than a source of division that may require intervention to equalize access across the cognitive spectrum. This paper presents a first attempt at formalizing the digital gap created by the generalization of search engines. This was achieved through the development of a mapping of cognitive abilities required by users to execute low- level tasks during a standard Web search task. The mapping demonstrates how critical these abilities are to successfully use search engines with an adequate level of independence. It will lead to a set of design guidelines for search engine interfaces that will allow for the engagement of users of all abilities, and also, more importantly, in search algorithms such as query suggestion and measure of relevance (i.e. ranking).

On the symbiosis of law and truth in Christian theology: Reconciling universal and particular through the Pauline law of love

This article argues that the secular liberal and positivist foundations of the modern Western legal system render it violent. In particular, the liberal exclusion of faith and subjectivity in favour of abstract and universal reason in conjunction with its privileging of individual autonomy at the expense of the community leads to alienation of the individual from the community. Similarly, the positivist exclusion of faith and theology from law, with its enforced conformity to the posited law, also results in this violence of alienation. In response, this article proposes a new foundation for law, a natural law based in the truth of Trinitarian theology articulated by John Milbank. In the Trinity, the members exist as a perfect unity in diversity, providing a model for the reconciliation of the legal individual and community: the law of love. Through the law of love as the basic norm, individuals love their neighbours as themselves, reconciling the particular and the universal, and providing a community of peace rather than violence.

Approximate nearest-neighbour search with inverted signature slice lists

In this paper we present an original approach for finding approximate nearest neighbours in collections of locality-sensitive hashes. The paper demonstrates that this approach makes high-performance nearest-neighbour searching feasible on Web-scale collections and commodity hardware with minimal degradation in search quality.

Parallel streaming signature EM-tree: A clustering algorithm for web scale applications

The proliferation of the web presents an unsolved problem of automatically analyzing billions of pages of natural language. We introduce a scalable algorithm that clusters hundreds of millions of web pages into hundreds of thousands of clusters. It does this on a single mid-range machine using efficient algorithms and compressed document representations. It is applied to two web-scale crawls covering tens of terabytes. ClueWeb09 and ClueWeb12 contain 500 and 733 million web pages and were clustered into 500,000 to 700,000 clusters. To the best of our knowledge, such fine grained clustering has not been previously demonstrated. Previous approaches clustered a sample that limits the maximum number of discoverable clusters. The proposed EM-tree algorithm uses the entire collection in clustering and produces several orders of magnitude more clusters than the existing algorithms. Fine grained clustering is necessary for meaningful clustering in massive collections where the number of distinct topics grows linearly with collection size. These fine-grained clusters show an improved cluster quality when assessed with two novel evaluations using ad hoc search relevance judgments and spam classifications for external validation. These evaluations solve the problem of assessing the quality of clusters where categorical labeling is unavailable and unfeasible.

Email negotiations form a binding land contract without a 'signature'

Email is rapidly replacing other forms of communication as the preferred means of communication between contracting parties. The recent decision of Stellard Pty Ltd v North Queensland Fuel Pty Ltd [2015] QSC 119 reinforces the judicial acceptance of email as an effective means of creating a binding agreement and the willingness to adopt a liberal concept of ‘signing’ in an electronic environment.

Countering disablism: An alternative universal income support system based on egalitarianism

The long-term vision of economic security and social participation for people with a disability held by disability activists and policy-makers has not been realised on a global scale. This is despite the implementation of various poverty alleviation initiatives by international and national governments. Indeed within advanced Western liberal democracies, the inequalities and poverty gaps have widened rather than closed. This article is based on findings from a historical-comparative policy and discourse analysis of disability income support system in Australia and the Basic Income model. The findings suggest that a model such as Basic Income, grounded in principles of social citizenship, goes some way to maintaining an adequate level of subsistence for people with a disability. The article concludes by presenting some challenges and a commitment to transforming income support policy.

Universal crack closure integral for SIF estimation

Numerical analysis of cracked structures often involves numerical estimation of stress intensity factors (SIFs) at a crack tip/front. A newly developed formulation called universal crack closure integral (UCCI) for the evaluation of potential energy release rates (PERRs) and the corresponding SIFs is presented in this paper. Unlike the existing element dedicated forms of crack closure integrals (MCCI, VCCI) with application limited to finite element analysis, this new numerical SIF/PERR estimation technique is independent of the basic stress analysis procedure, making it universally applicable. The second merit of this procedure is that it avoids the generally error-producing zones close to the crack tip/front singularity. The UCCI procedure, based on Irwin's original CCI, is formulated and explored using a simple 2D problem of a straight crack in an infinite sheet. It is then applied to some three-dimensional crack geometries with the stresses and displacements obtained from a boundary element program.

Logic as the Universal Science : Bertrand Russell's Early Conception of Logic and Its Philosophical Context

Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.

A universal test to determine the integrity of RNA, and its suitability for reverse transcription, in animal tissue laboratory specimens

Degradation of RNA in diagnostic specimens can cause false-negative test results and potential misdiagnosis when tests rely on the detection of specific RNA sequence. Current molecular methods of checking RNA integrity tend to be host species or group specific, necessitating libraries of primers and reaction conditions. The objective here was to develop a universal (multi-species) quality assurance tool for determining the integrity of RNA in animal tissues submitted to a laboratory for analyses. Ribosomal RNA (16S rRNA) transcribed from the mitochondrial 16S rDNA was used as template material for reverse transcription to cDNA and was amplified using polymerase chain reaction (PCR). As mitochondrial DNA has a high level of conservation, the primers used were shown to reverse transcribe and amplify RNA from every animal species tested. Deliberate degradation of rRNA template through temperature abuse of samples resulted in no reverse transcription and amplification. Samples spiked with viruses showed that single-stranded viral RNA and rRNA in the same sample degraded at similar rates, hence reverse transcription and PCR amplification of 16S rRNA could be used as a test of sample integrity and suitability for analysis that required the sample's RNA, including viral RNA. This test will be an invaluable quality assurance tool for determination of RNA integrity from tissue samples, thus avoiding erroneous test results that might occur if degraded target RNA is used unknowingly as template material for reverse transcription and subsequent PCR amplification.

Heräämisten poetiikkaa : Lajeja ja intertekstejä Arvid Järnefeltin romaaneissa Isänmaa, Maaemon lapsia ja Veneh'ojalaiset

Poetics of Awakenings. Genres and Intertexts in Arvid Järnefelt s Novels Isänmaa, Maaemon lapsia and Veneh ojalaiset This doctoral dissertation focuses on Arvid Järnefelt s (1961 1932) novels Isänmaa (1893), Maaemon lapsia (1905) and Veneh ojalaiset (1909). The study applies the genre theory and concepts Alastair Fowler has introduced in his Kinds of Literature (1982). Fowler s theory of the novel is developed further and applied to Finnish realist novels. The generic analysis is supplemented by intertextual analysis, which is mainly based on the idea of specific intertextual relations as presented by Kiril Taranovsky. Generic and intertextual analyses form the basis for hermeneutic interpretation, in which attention is paid to the fact that the novels are written by the designated writer in specific historical and cultural circumstances. Instead of the author s intention , the study focuses on the realised intention , in other words the novels as they are published. Järnefelt s first novel Isänmaa is understood to be a classical Bidungsroman that depicts the socialisation of a young male protagonist. From an intertextual point of view, the novel appears to be a novel of conversion, too, due to the biblical allusions concealed in the depiction of the events. Furthermore, Isänmaa is seen to stand in an intertextual relation to Hegel s, Snellman s and Topelius s writings. Maaemon lapsia is argued to be a thesis novel, which persuades the reader to adopt a certain ideological and political stance, namely Henry George s view on the private ownership of land. The novel is modulated by the generic repertoires of fairy tale and tragedy. The mythical frame of the novel supports the thesis novel, as it gives universal validity to the particular events depicted in the novel. Maaemon lapsia also comments on the contemporary political debate on the relations between Finland and Russia by presenting the relationship as analogous to the relationship between tenant farmer and landowner. Veneh ojalaiset exhibits a wide range of genres. Comic, tragic and mythical mode is combined with, for example, family novel, romance, conversion novel and revolutionary novel. From a rhetorical viewpoint, the novel is an apology, which accuses society of generating criminality by means of unjust laws and procedures. The novel discusses the question of resistance to evil by using the themes of Faust and Job, as well as by confronting the philosophies of Epictetus and Nietzsche. The novel is a thesis novel, which disputes the possibility of violent revolution as a way to a better society and recommends passive resistance for an individual living in an unjust society. The poetics of Järnefelt s novels is regarded as the poetics of conversion, as all the novels in focus depict the protagonist s awakening to see the society in a new light, be it a patriotic vision of the reality or a conception of the unfairness of society.

Universal Access-NY User’s Guide

What is Universal Access-NY? Universal Access-NY is a complete online planning toolkit, www.UniversalAccessNY.org, where a One-Stop Delivery System can assess its practices, and develop work plans to improve physical and programmatic accessibility for all One-Stop customers. This web site and manual was developed by Cornell University’s Employment and Disability Institute, through the support and guidance of the New York State Department of Labor, with funding from two U.S. Department of Labor Work Incentive Grants (WIG 1 and 2). This web site was designed for use in a collaborative manner, bringing together One-Stop personnel, agency partners, business leaders and customers with disabilities. Universal Access-NY supports continuous improvement, with features that encourage multiple uses and incremental systems change.