Analysis of linear relationships in block ciphers

This thesis is devoted to the study of linear relationships in symmetric block ciphers. A block cipher is designed so that the ciphertext is produced as a nonlinear function of the plaintext and secret master key. However, linear relationships within the cipher can still exist if the texts and components of the cipher are manipulated in a number of ways, as shown in this thesis. There are four main contributions of this thesis. The first contribution is the extension of the applicability of integral attacks from word-based to bitbased block ciphers. Integral attacks exploit the linear relationship between texts at intermediate stages of encryption. This relationship can be used to recover subkey bits in a key recovery attack. In principle, integral attacks can be applied to bit-based block ciphers. However, specific tools to define the attack on these ciphers are not available. This problem is addressed in this thesis by introducing a refined set of notations to describe the attack. The bit patternbased integral attack is successfully demonstrated on reduced-round variants of the block ciphers Noekeon, Present and Serpent. The second contribution is the discovery of a very small system of equations that describe the LEX-AES stream cipher. LEX-AES is based heavily on the 128-bit-key (16-byte) Advanced Encryption Standard (AES) block cipher. In one instance, the system contains 21 equations and 17 unknown bytes. This is very close to the upper limit for an exhaustive key search, which is 16 bytes. One only needs to acquire 36 bytes of keystream to generate the equations. Therefore, the security of this cipher depends on the difficulty of solving this small system of equations. The third contribution is the proposal of an alternative method to measure diffusion in the linear transformation of Substitution-Permutation-Network (SPN) block ciphers. Currently, the branch number is widely used for this purpose. It is useful for estimating the possible success of differential and linear attacks on a particular SPN cipher. However, the measure does not give information on the number of input bits that are left unchanged by the transformation when producing the output bits. The new measure introduced in this thesis is intended to complement the current branch number technique. The measure is based on fixed points and simple linear relationships between the input and output words of the linear transformation. The measure represents the average fraction of input words to a linear diffusion transformation that are not effectively changed by the transformation. This measure is applied to the block ciphers AES, ARIA, Serpent and Present. It is shown that except for Serpent, the linear transformations used in the block ciphers examined do not behave as expected for a random linear transformation. The fourth contribution is the identification of linear paths in the nonlinear round function of the SMS4 block cipher. The SMS4 block cipher is used as a standard in the Chinese Wireless LAN Wired Authentication and Privacy Infrastructure (WAPI) and hence, the round function should exhibit a high level of nonlinearity. However, the findings in this thesis on the existence of linear relationships show that this is not the case. It is shown that in some exceptional cases, the first four rounds of SMS4 are effectively linear. In these cases, the effective number of rounds for SMS4 is reduced by four, from 32 to 28. The findings raise questions about the security provided by SMS4, and might provide clues on the existence of a flaw in the design of the cipher.

Teaching motor racing engineering through real-life projects: benefits and challenges

Project-based learning (PBL) is widely used in engineering courses. The closer to real-life the project, the greater the relevance and depth of learning experienced by students. Formula Society of Automotive Engineering (FSAE) is a fine example of a team-based project modelled on real-life problems whereby each student team designs and builds a small race car for competitive evaluation. Queensland University of Technology (QUT) has participated in FSAE-Australia since 2004. Based on the success of the project, QUT has gone the additional step of introducing a motor-racing specialization (second major) to complement its mechanical engineering degree. In this paper, the benefits of teaching motor-racing engineering through real-life projects are presented together with a discussion of the challenges faced and how they have been addressed. In order to validate the authors' observations on the teaching approaches used, student feedback was solicited through QUT's online learning experience survey (LEX), as well as a customized paper-based survey. The results of the surveys are analysed and discussed in this paper.

Teaching tribology and maintenance-related subjects : a hands-on focus

In this paper different aspects of teaching tribology and maintenance-related subjects with a hands-on focus at Queensland University of Technology (QUT) are presented and discussed. As part of the study, a combination of data from core units, such as engineering design units, and elective units, was used, in addition to laboratory experiments, real-life projects, interactive software packages and industry visits. The mechanical engineering curriculum structure used at QUT, consisting of the main specialization (first major) and the second specialization (second major), is also discussed with specific emphasis on the teaching of tribology and maintenance-related subjects. To evaluate students' satisfaction with the novel teaching approaches used, tailored questionnaires were used as well as QUT's online learning experience survey (LEX). Statistical results of these sureveys are presented and discussed. In summary, these showed that students overwhelmingly support the hands-on and practical focus in teaching tribology and maintenance-related subjects and that the teaching approaches used shorten the learning curve and make students better prepared for integration in the workplace.

Who owns Superman? The Man of Steel fights trademark law

Who is Superman’s greatest threat? Evil genius Lex Luthor? General Zod from the Phantom Zone? The doppelganger Bizarro? Super-villain Brainiac? Kryptonite? Or is it intellectual property law?

Grant application: QUT Learning and Teaching scheme 2012 Cracking the Code - A checklist to complement CRAs for first year Justice students.

Widening participation brings with it increasing diversity, increased variation in the level of academic preparedness (Clarke, 2011; Nelson, Clarke, & Kift 2010). Cultural capital coupled with negotiating the academic culture creates an environment based on many assumptions about academic writing and university culture. Variations in staff and student expectations relating to the teaching and learning experience is captured in a range of national and institutional data (AUSSE, CEQ, LEX). Nationally, AUSSE data (2009) indicates that communication, writing, speaking and analytic skills, staff expectations are quite a bit higher than students. The research team noted a recognisable shift in the changing cohort of students and their understanding and engagement with feedback and CRAs, as well as variations in teaching staff and student expectations. The current reality of tutor and student roles is that: - Students self select when/how they access lectures and tutorials. - Shorter tutorial times result in reduced opportunity to develop rapport with students. - CRAs are not always used consistently by staff (different marking styles and levels of feedback). - Marking is not always undertaken by the student’s tutor/lecturer. - Student support services might be recommended to students once a poor grade has been given. Students can perceive this as remedial and a further sense of failure. - CRA sheet has a mark /grade attached to it. Stigma attached to low mark. Hard to focus on the CRA feedback with a poor mark etched next to it. - Limited opportunities for sessionals to access professional development to assist with engaging students and feedback. - FYE resources exist, however academic time is a factor in exploring and embedding these resources. Feedback is another area with differing expectations and understandings. Sadler (2009) contends that students are not equipped to decode the statements properly. For students to be able to apply feedback, they need to understand the meaning of the feedback statement. They also need to identify, the particular aspects of their work that need attention. The proposed Checklist/guide would be one page and submitted with each assessment piece thereby providing an interface to engage students and tutors in managing first year understandings and expectations around CRAs, feedback, and academic practice.

Use of tea tree oil against buffalo flies in cattle

Testing tea tree oil against buffalo flies on cattle.

Las citas de leyes y otras normas : legislación comparada y nuevo digesto jurídico argentino

Decía Tomás de Aquino que “lex non est ipsum ius, proprie loquendo, sed aliqualis ratio iuris” 1: “[…] la ley no es el mismo derecho, propiamente hablando, sino cierta racionalización del derecho”. En concordancia con esto, entre nosotros enseñaba Alberdi que “saber, pues, leyes, no es saber derecho”, dado que “las leyes no son más que la imagen imperfecta y frecuentemente desleal del derecho que vive en la armonía viva del organismo social”, del cual hay que “conocer su genio, su misión, su rol”, porque “es el alma, la vida, el espíritu de las leyes” 2. Esto lleva, según el maestro argentino, a que “en materia de leyes, no se puede hacer nada, si no se sabe el derecho”3. El derecho no es la ley, entonces, pero sin embargo la ley tiene una relación estrecha con el derecho, del cual a veces es su causa eficiente, como ocurre con las materias de mero Derecho Positivo, y otras, es una suerte de causa ejemplar, cuando refleja la justicia natural de las cosas. La causa final inmediata de toda ley, por otra parte, debe ser el derecho, y la mediata, el bien común. El hecho, entonces, de que las leyes tengan una función segunda con respecto al derecho no las vuelve menos importantes. El conocimiento de las leyes, así, no es algo ajeno al oficio del jurista, sino que es un elemento fundamental para la búsqueda de la justicia en los casos concretos...

In Their Own Words

In Their Own Words, one in a series of Effective Practice guides, explores the under-researched and imperfectly understood world of the learner in a digital age by synthesising outcomes from the first phase of the Learner Experiences of e-Learning theme of the JISC e-Learning Programme. These outcomes include a scoping study and literature review, a methodology report and two studies – LEX: The Learner Experience of e-Learning (Creanor et al., 2006) and LXP: Student Experiences of e-Learning (Conole et al., 2006), plus five video case studies of experiences of e-learning recounted by learners themselves.

Influência de agentes clareadores na rugosidade de compósitos dentários

O clareamento dental é o meio disponível mais simples, comum e conservador para o cirurgião-dentista proporcionar aos pacientes o padrão de cor de seus dentes mais desejado. Em alguns casos, os dentes que vão ser clareados podem apresentar restaurações realizadas com compósitos dentais, que são mais suscetíveis a alterações químicas, quando comparados a outros materiais restauradores. Alguns estudos mostraram que diferentes concentrações de agentes clareadores levaram a um aumento significativo da rugosidade superficial e das porosidades em compósitos dentais. Este estudo avaliou o efeito de dois agentes clareadores (Whiteness HP Blue 20%, Whiteness HP Max) sobre a rugosidade superficial de dois compósitos dentais, um micro-híbrido (Esthet X, Denstply) e outro nanoparticulado (Z 350, 3M ESPE). Um total de oito corpos de prova (9 x 2 mm) foram confeccionados com auxílio de uma matriz de teflon, sendo divididos em 4 grupos (Esthet X + Whiteness HP Blue 20%; Esthet X + Whiteness HP Max; Z 350 + Whiteness HP Blue 20%; Z 350 + Whiteness HP Max), sendo n=2. Os corpos de prova foram armazenados em saliva artificial neutra e, após 24 horas, foram polidos com discos de óxido de Alumínio (Sof-lex, 3M ESPE). Após sete dias de imersão salivar, cada corpo de prova foi levado a um microscópio de força atômica para obtenção do valor inicial de rugosidade superficial (Ra em nm). Em seguida, sem remover o corpo de prova do microscópio, o agente clareador foi aplicado sobre a superfície do corpo de prova, segundo as instruções do fabricante, de modo que permitisse uma posterior observação da mesma área do corpo de prova observada inicialmente, para obtenção do valor final de rugosidade superficial. Imagens em duas e três dimensões foram obtidas de cada corpo de prova para observação de alterações da topografia. Os resultados foram tratados estatisticamente por ANOVA e pelo teste de contraste Student-Newman-Keuls (p < 0,05). Não houve alteração significativa na rugosidade superficial (Ra) dos corpos da prova de compósitos micro-híbrido e nanoparticulado, submetidos aos agentes clareadores Whiteness HP Blue 20% e Whiteness HP Maxx. No entanto, independente do agente clareador utilizado, foram observadas maiores alterações topográficas nas imagens de microscopia de força atômica da superfície do compósito micro-híbrido do que nas imagens do nanoparticulado.

A prescrição no direito internacional privado brasileiro

Este trabalho trata do funcionamento da prescrição extintiva relacionada a ações pessoais, além da decadência, no âmbito do direito internacional privado. Primeiramente é feita uma breve análise histórica e comparatista do direito de regência da prescrição em relações de caráter internacional antes de se demonstrar a solução abarcada pelo direito brasileiro: a regência pela lei que rege a obrigação (lex causae). Apesar de ser um instituto de direito civil, substantivo, a prescrição possui muitas ligações com o direito processual, uma vez que o principal efeito de sua consumação é tonar inexigível uma obrigação e, em decorrência, pôr fim a um processo. Assim, o autor detalha em seguida as questões que são regidas pela lex causae e as que são regidas pela lex fori (aqui abrangendo também a lex arbitri) em matéria de prescrição no direito brasileiro, antes de tratar minuciosamente de como se opera a exceção da ordem pública para afastar a aplicação da lex causae estrangeira em matéria de prescrição no Brasil (incluindo também regras de aplicação imediata lois de police brasileiras). Ao final, cuida-se da prescrição na homologação e execução de sentenças estrangeiras no Brasil.

Avaliação da customização por desgaste de pinos pré-fabricados de fibra de vidro

O objetivo deste estudo foi avaliar pinos pré-fabricados de fibra de vidro (White Post DC/FGM) submetidos à customização por desgaste da porção apical. Experimento 1: 5 pinos n. 4 foram divididos em 5 grupos (G) de acordo com o instrumento de desgaste: GA - sem desgaste, GB- mini torno industrial (Dentsply), GC - ponta diamantada n. 3195F (KG Sorensen), GD - disco de lixa de granulação média (Sof-Lex/3M/ESPE), GE- alicate (Tramontina). Observou-se a micromorfologia dos pinos em microscópio eletrônico de varredura (ZEISS/DSM 960). Experimento 2: 60 pinos de diferentes diâmetros foram divididos em 6 grupos: G0 - pinos n. 0,5, G1 - pinos n. 1, G2 - pinos n. 2, G3 - pinos n. 3, G4 - pinos n.4, G5 - pinos n. 4 com terço apical desgastado com discos de lixa até o equivalente ao terço apical dos pinos n. 2. Os pinos foram submetidos ao teste de flexão de 3 pontos na máquina de ensaios universal (Instron 5500 R), conforme ISO 10477. Experimento 3: 20 caninos humanos permanentes sofreram tratamento endodôntico e remoção das coroas clínicas padronizando 15 mm de remanescente radicular. Os dentes foram incluídos em resina acrílica com simulação do ligamento periodontal, receberam férula de 2 mm e foram divididos em 2 grupos: GI - pinos n. 4 cimentados em condutos preparados com broca equivalente ao pino (FGM), GII - pinos n. 4 customizados no terço apical cimentados em condutos preparados com brocas (FGM) equivalentes aos pinos n. 2 em 10 mm e n. 4 em 5 mm. Os pinos foram cimentados com cimento resinoso (Rely X U100/3M/ESPE), os corpos de prova receberam coroas diretas de resina composta (Enforce Core/Dentsply) padronizadas com coras de policarbonato (TDV) e foram submetidos ao teste de resistência à fratura na Instron a 45da ferramenta cilíndrica, com força de 500 N aplicada a 2 mm da incisal na face palatina/lingual, com velocidade de 0,5 mm/min até falha. O padrão de fratura foi classificado em favorável ou desfavorável. Os resultados foram tratados estatisticamente por teste de análise de variância (ANOVA, p<0,05). Os resultados dos testes de flexão e fratura foram respectivamente: G0 - 58,406,40; G1 - 83,959,43; G2- 103,4219,17; G3 - 160,7817,30; G4 - 170,4711,28; G5 - 106,3521,96; GI - 303,0262,21 e GII - 402,81131,97. O padrão de fratura foi tratado por Mann-Whitney que observou semelhança estatística entre os grupos. Concluiu-se que o desgaste de pinos de fibra de vidro com pontas diamantadas ou discos de lixa produz alterações micromorfológicas aceitáveis. O corte com alicate deve ser evitado. A customização por desgaste da porção apical de pinos de fibra de vidro diminui a resistência à flexão a valores aceitáveis. Dentes restaurados com pinos de fibra de vidro customizados por desgaste possuem resistência à fratura superior a dentes restaurados com pinos intactos. A customização por desgaste facilita a adaptação do pino ao conduto radicular e preserva a estrutura dental.

Prediction of discard mortality for Alaskan crabs after exposure to freezing temperatures, based on a reflex impairment index

Millions of crabs are sorted and discarded in freezing conditions each year in Alaskan fisheries for Tanner crab (Chionoecetes bairdi) and snow crab (C. opilio). However, cold exposures vary widely over the fishing season and among different vessels, and mortalities are difficult to estimate. A shipboard experiment was conducted to determine whether simple behavioral observations can be used to evaluate crab condition after low-temperature exposures. Crabs were systematically subjected to cold in seven different exposure treatments. They were then tested for righting behavior and six different ref lex actions and held to monitor mortality. Crabs lost limbs, showed ref lex impairment, and died in direct proportion to increases in cold exposure. Righting behavior was a poor predictor of mortality, whereas reflex impairment (scored as the sum of reflex actions that were lost) was an excellent predictor. This composite index could be measured quickly and easily in hand, and logistic regression revealed that the relationship between reflex impairment and mortality correctly predicted 80.0% of the mortality and survival for C. bairdi, and 79.4% for C. opilio. These relationships provide substantial improvements over earlier approaches to mortality estimation and were independent of crab size and exposure temperature.

Lymphangioleiomyomatosis Biomarkers Linked to Lung Metastatic Potential and Cell Stemness

Lymphangioleiomyomatosis (LAM) is a rare lung-metastasizing neoplasm caused by the proliferation of smooth muscle-like cells that commonly carry loss-of-function mutations in either the tuberous sclerosis complex 1 or 2 (TSC1 or TSC2) genes. While allosteric inhibition of the mechanistic target of rapamycin (mTOR) has shown substantial clinical benefit, complementary therapies are required to improve response and/or to treat specific patients. However, there is a lack of LAM biomarkers that could potentially be used to monitor the disease and to develop other targeted therapies. We hypothesized that the mediators of cancer metastasis to lung, particularly in breast cancer, also play a relevant role in LAM. Analyses across independent breast cancer datasets revealed associations between low TSC1/2 expression, altered mTOR complex 1 (mTORC1) pathway signaling, and metastasis to lung. Subsequently, immunohistochemical analyses of 23 LAM lesions revealed positivity in all cases for the lung metastasis mediators fascin 1 (FSCN1) and inhibitor of DNA binding 1 (ID1). Moreover, assessment of breast cancer stem or luminal progenitor cell biomarkers showed positivity in most LAM tissue for the aldehyde dehydrogenase 1 (ALDH1), integrin-beta 3 (ITGB3/CD61), and/or the sex-determining region Y-box 9 (SOX9) proteins. The immunohistochemical analyses also provided evidence of heterogeneity between and within LAM cases. The analysis of Tsc2-deficient cells revealed relative over-expression of FSCN1 and ID1; however, Tsc2-deficient cells did not show higher sensitivity to ID1-based cancer inhibitors. Collectively, the results of this study reveal novel LAM biomarkers linked to breast cancer metastasis to lung and to cell stemness, which in turn might guide the assessment of additional or complementary therapeutic opportunities for LAM.