My undergraduate thesis on a capability based security system for a data-centric operating system.
feat/poster: sections
+87
-23
assets/twizzler_logo.png
assets/twizzler_logo.png
This is a binary file and will not be displayed.
+2
-2
poster/colors.typ
+2
-2
poster/colors.typ
+53
-11
poster/main.typ
+53
-11
poster/main.typ
···
3
3
4
4
5
5
6
+
6
7
#set page(
7
8
width: 48in,
8
9
height: 36in,
···
19
20
)[Twizzler-Security: A Capability-Based Security System for Twizzler],
20
21
author: text(size: 48pt)[Surendra Jammishetti --- Advisor: Owen Arden],
21
22
subtitle: text(size: 32pt)[University of California, Santa Cruz],
22
-
logo: image(
23
+
logo1: image(
23
24
"../assets/UCSC_BaskinEng_Logomark_Orange_RGB-150x150.png",
24
25
height: 75%,
25
26
),
27
+
logo2: image(
28
+
"../assets/twizzler_logo.png",
29
+
height: 75%,
30
+
),
26
31
base_colors: base_colors,
27
32
)
28
33
···
31
36
title_style: text.with(
32
37
size: 48pt,
33
38
weight: "bold",
34
-
fill: base_colors.bgcolor2,
39
+
fill: base_colors.bgcolor1,
35
40
),
36
41
)
37
42
···
46
51
inset: 35pt,
47
52
gutter: 30pt,
48
53
[
54
+
55
+
// section 1
56
+
#import "./sections/twizzler.typ": title;
49
57
#colored_poster_section(fill: true)[
50
-
What is Twizzler?
58
+
#title
51
59
][
52
-
#include "./sections/sec_ctx.typ"
60
+
#include "./sections/twizzler.typ"
61
+
]
62
+
63
+
// section 2
64
+
#import "./sections/cap.typ": title;
65
+
#colored_poster_section(fill: true)[
66
+
#title
67
+
][
68
+
#include "./sections/cap.typ"
53
69
]
54
70
55
71
],
56
72
[
57
73
58
-
#colored_poster_section[Section 1][#lorem(200)]
59
-
#colored_poster_section(fill: true)[Section 2][#lorem(200)]
60
-
#colored_poster_section[Section 1][#lorem(200)]
74
+
// section 3
75
+
#import "./sections/sec_ctx.typ": title;
76
+
#colored_poster_section(fill: true)[
77
+
#title
78
+
][
79
+
#include "./sections/sec_ctx.typ"
80
+
]
81
+
82
+
// section 4
83
+
#import "./sections/execution.typ": title;
84
+
#colored_poster_section(fill: true)[
85
+
#title
86
+
][
87
+
#include "./sections/execution.typ"
88
+
]
89
+
61
90
],
62
91
[
63
92
64
-
#colored_poster_section[Section 1][#lorem(200)]
65
-
#colored_poster_section(fill: true)[Section 2][#lorem(200)]
66
-
#colored_poster_section[Section 1][#lorem(200)]
67
-
#colored_poster_section(fill: true)[Section 2][#lorem(200)]
93
+
// section 3
94
+
#import "./sections/future.typ": title;
95
+
#colored_poster_section(fill: true)[
96
+
#title
97
+
][
98
+
#include "./sections/future.typ"
99
+
]
100
+
101
+
// section 4
102
+
#import "./sections/cited.typ": title;
103
+
#colored_poster_section(fill: true)[
104
+
#title
105
+
][
106
+
#include "./sections/cited.typ"
107
+
]
108
+
109
+
68
110
],
69
111
),
70
112
top: 20pt,
poster/sections/background.typ
poster/sections/background.typ
This is a binary file and will not be displayed.
poster/sections/capabilities.typ
poster/sections/capabilities.typ
This is a binary file and will not be displayed.
poster/sections/motivation.typ
poster/sections/motivation.typ
This is a binary file and will not be displayed.
+2
-1
poster/sections/sec_ctx.typ
+2
-1
poster/sections/sec_ctx.typ
+14
-9
poster/template.typ
+14
-9
poster/template.typ
···
30
30
message: "title_style must be a partial application of text()",
31
31
)
32
32
33
-
let fill_color = if fill { base_colors.bgcolor1 } else { none }
33
+
let fill_color = if fill { base_colors.bgcolor2 } else { none }
34
34
35
35
block(
36
36
width: 100%,
···
46
46
line(
47
47
length: 100%,
48
48
stroke: (
49
-
paint: base_colors.bgcolor2,
49
+
paint: base_colors.bgcolor1,
50
50
thickness: 3pt,
51
51
cap: "round",
52
52
),
···
62
62
title,
63
63
author,
64
64
subtitle,
65
-
logo,
65
+
logo1,
66
+
logo2,
66
67
base_colors,
67
68
) = {
68
69
set text(fill: base_colors.textcolor2)
···
71
72
stack(
72
73
dir: ttb,
73
74
block(
74
-
fill: base_colors.bgcolor2,
75
+
fill: base_colors.bgcolor1,
75
76
width: 100%,
76
77
height: 100%,
77
78
grid(
78
79
//SOME bs scaling for the baskin engineering logo
79
80
columns: (0.5fr, 4fr, 0.5fr),
80
-
if logo != none { logo } else [],
81
+
if logo1 != none { logo1 } else [],
81
82
align(center + horizon)[
82
83
#stack(
83
84
spacing: 45pt,
···
85
86
author,
86
87
subtitle,
87
88
) ],
88
-
[],
89
+
// [],
90
+
//NOTE: there has to be a better way to do this
91
+
if logo2 != none { logo2 } else [],
89
92
),
90
93
),
91
94
)
···
95
98
stack(
96
99
dir: ttb,
97
100
block(
98
-
fill: base_colors.bgcolor2,
101
+
fill: base_colors.bgcolor1,
99
102
width: 100%,
100
103
height: 100%,
101
104
),
···
108
111
author: "",
109
112
base_colors: none,
110
113
subtitle: none,
111
-
logo: none,
114
+
logo1: none,
115
+
logo2: none,
112
116
doc,
113
117
) = {
114
118
assert(base_colors != none, message: "Base Colors must be provided")
···
121
125
title,
122
126
author,
123
127
subtitle,
124
-
logo,
128
+
logo1,
129
+
logo2,
125
130
base_colors,
126
131
),
127
132
doc,