title: Provable Non-Frameability for 5G Lawful Interception

authors: Boeira, Felipe

abstract: Mobile networks have grown in size and relevance, with novel applications in areas including transportation, finance, and health. The wide use of mobile networks generates rich data about users, raising interest in using such data for law enforcement and antiterrorism through Lawful Interception (LI). Countries worldwide have established legal frameworks to conduct LI, and technical standards have been created for its implementation and deployment, but without sufficient (and rigorous) security controls. While LI originated for benign purposes, we show in this paper that malicious entities could exploit it to frame users into suspicion of criminal activity. Further, we propose a solution for non-frameability, which we formally prove uphold desired properties even in scenarios where attackers completely infiltrate the operator networks. To perform the formal verification, we extend prior work with a more complete model of the fifth generation (5G) of mobile networks in the Tamarin prover.

text: Provable Non-Frameability for 5G Lawful Interception Mobile networks have grown in size and relevance, with novel applications in areas including transportation, finance, and health. The wide use of mobile networks generates rich data about users, raising interest in using such data for law enforcement and antiterrorism through Lawful Interception (LI). Countries worldwide have established legal frameworks to conduct LI, and technical standards have been created for its implementation and deployment, but without sufficient (and rigorous) security controls. While LI originated for benign purposes, we show in this paper that malicious entities could exploit it to frame users into suspicion of criminal activity. Further, we propose a solution for non-frameability, which we formally prove uphold desired properties even in scenarios where attackers completely infiltrate the operator networks. To perform the formal verification, we extend prior work with a more complete model of the fifth generation (5G) of mobile networks in the Tamarin prover.

year: 2023-05-29

title: HfG-Archiv Ulm Online. De la realidad exclusiva a la virtualidad inclusiva

authors: Short, Carolina

subjects: Archive

abstract: The Archive of the School of Ulm (hfg-Archiv Ulm) began operating in 1987 by a group of alumni that, after the closure of the School (hfg - Hochschule für Gestaltung Ulm), saw the necessity to preserve the material concerning the projects produced during its operation between 1953 and 1968. It was founded as a public institution, sponsored by the Municipality of Ulm. Between 1999 and 2001 a project that would bring visibility and dissemination to the Archive was developed by creating a website. Its function was to bring towards a massive audience what was the hfg-Ulm, its influences, its legacy, and what happened today in connection with the history of the school and its protagonists.

text: HfG-Archiv Ulm Online. De la realidad exclusiva a la virtualidad inclusiva The Archive of the School of Ulm (hfg-Archiv Ulm) began operating in 1987 by a group of alumni that, after the closure of the School (hfg - Hochschule für Gestaltung Ulm), saw the necessity to preserve the material concerning the projects produced during its operation between 1953 and 1968. It was founded as a public institution, sponsored by the Municipality of Ulm. Between 1999 and 2001 a project that would bring visibility and dissemination to the Archive was developed by creating a website. Its function was to bring towards a massive audience what was the hfg-Ulm, its influences, its legacy, and what happened today in connection with the history of the school and its protagonists.

year: 2016

title: Keeping Chooks at Home in the Waikato:  Exploring Postcolonial, Feminist and  Kaupapa M ori Perspectives

authors: Burnett, Zavier

subjects: Chooks

abstract: This thesis considers the narratives of eight M ori chook keepers from the Waikato rohe, Aotearoa. The Waikato rohe has been selected due to its significant history of M ori horticultural and agricultural practises, including chook keeping. 

I build on the growing corpus of m tauranga about indigenous studies. Using a postcolonial, feminist and Kaupapa M ori theoretical framework, I undertook five semi-structured interviews and one focus r p  with M ori kaum tua. This thesis does not attempt to represent all M ori. There may be considerable difference between wh nau, hap  and iwi practices. However, the rangahau provides insights into the views of eight individuals and their experiences with chooks. I have also utilised Country Calendar (1970; 1977a; 1977b and 1980) episodes and children's pukapuka such as Nanny Mihi's Garden (Drewery 2002) for the purposes of discourse analysis. 

By listening to these stories, kaupapa including race, class and ethnicity emerge that affect the participants' everyday lives as chook keepers. The participants view chooks in a variety of ways. First, as a means of food production. By integrating chooks into their communities, the participants are able to provide a nutritious and low-cost kai source for themselves and their wh nau. This attempts to at least in part address their poverty problems. Second, as a hybridised P keh  and M ori kararehe. Third, as hysterical, comical, silly and helpless. I explore these issues within the broader context of colonial, neocolonial and anticolonial practices.

text: Keeping Chooks at Home in the Waikato:  Exploring Postcolonial, Feminist and  Kaupapa M ori Perspectives This thesis considers the narratives of eight M ori chook keepers from the Waikato rohe, Aotearoa. The Waikato rohe has been selected due to its significant history of M ori horticultural and agricultural practises, including chook keeping. 

I build on the growing corpus of m tauranga about indigenous studies. Using a postcolonial, feminist and Kaupapa M ori theoretical framework, I undertook five semi-structured interviews and one focus r p  with M ori kaum tua. This thesis does not attempt to represent all M ori. There may be considerable difference between wh nau, hap  and iwi practices. However, the rangahau provides insights into the views of eight individuals and their experiences with chooks. I have also utilised Country Calendar (1970; 1977a; 1977b and 1980) episodes and children's pukapuka such as Nanny Mihi's Garden (Drewery 2002) for the purposes of discourse analysis. 

By listening to these stories, kaupapa including race, class and ethnicity emerge that affect the participants' everyday lives as chook keepers. The participants view chooks in a variety of ways. First, as a means of food production. By integrating chooks into their communities, the participants are able to provide a nutritious and low-cost kai source for themselves and their wh nau. This attempts to at least in part address their poverty problems. Second, as a hybridised P keh  and M ori kararehe. Third, as hysterical, comical, silly and helpless. I explore these issues within the broader context of colonial, neocolonial and anticolonial practices.

year: 2006